The formal semantics of programming languages : an introduction / Glynn Winskel. Cambridge, Mass. [u.a.] : MIT Press, 1996