The formal semantics of programming languages : an introduction - Winskel, G. (Glynn) (Cambridge, Mass. : MIT Press, 1993)
Incluye referencias bibliográficas (p. [353]-356) e índice.
Keywords: Programming languages (Electronic computers) -- Semantics