Theoretical foundations of computer science - Mandrioli, Dino (Wiley, 1987)