A. Blikle

• Mathematical Foundations of Computer Science 1974