The formal semantics of programming languages an introduction - Winskel, G. (Foundations of computing., 1993)