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