The formal semantics of programming languages an introduction - Winskel, G. (Glynn) (Cambridge, Massachusetts The MIT Press, 1993)
Electronic reproduction
Keywords: Programming languages (Electronic computers) -- Semantics; Electronic books