Theoretical foundations of computer science - Mandrioli, Dino; Ghezzi, Carlo (John Wiley)