"Mathematical Foundations of Computer Science 1986" - читать интересную книгу автора (Jozef Gruska, Branislav Rovan, Juraj Wiedermann)