The formal semantics of programming languages. An introduction - Winskel, Glynn author (Foundations of computing, 1993)