The formal semantics of programming languages : an introduction - Winskel, G. (Glynn) (MIT Press, 1993)