Theoretical Foundations of Computer Science by Carlo Ghezzi & Dino Mandrioli