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