THEORETICAL COMPUTER SCIENCE. (North-Holland Publishing Company.)