Mathematical Foundations of Computer Science 1990 - heftet, Engelsk, 1990