The formal semantics of programming languages : an introduction /
Winskel, G.(Glynn)
Cambridge, Mass. ; London : MIT Press,
c1993.
Includes bibliographical references (p. [353]-356) and index.
Programming languages (Electronic computers)