"Mathematical Foundations of Computer Science 1978 7 conf" - читать интересную книгу автора (J. Winkowski)