"Mathematical Foundations of Computer Science 1981" - читать интересную книгу автора (J. Gruska, M. Chytil)