The formal semantics of programming languages an introduction - Winskel, G. (MIT Press, 1993)
Keywords: Programming languages (Electronic computers) -- Semantics.; elektronické knihy; electronic books