THEORETICAL COMPUTER SCIENCE Journal