Winskel, Glynn The formal semantics of programming languages : an introduction / Glynn Winskel. - Cambridge ; London : MIT Press, 1993. - 361 p. ISBN: 0-262-23269-7 Subjects--Topical Terms: Programming languages--(Electronic computers)