The formal semantics of programming languages : an introduction
Glynn Winskel.
Cambridge, Mass. : MIT Press, ©1993.
xviii, 361 págs. ; 24 cm.
Serie: Foundations of computing
ISBN: 0262231697
Incluye referencias bibliográficas (p. [353]-356) e índice.