"Mathematical Foundations of Computer Science 1990, MFCS'90" - читать интересную книгу автора (Branislav Rovan)