"Theoretical Foundations of Computer Science" - читать интересную книгу автора (Dino Mandrioli, Carlo Ghezzi)