J. Winkowski

• Mathematical Foundations of Computer Science 1978