Formal semantics of programming languages : an introduction - Winskel Glynn (Cambridge M I T Press, 1993)
Keywords: Programming language; Semantics