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