Theoretical foundations of computer science - Mandrioli, Dino; Ghezzi, Carlo (Krieger, 1993)