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