THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES - Winskel,Glynn (Mit Press, Cambridge, 1993)
Includes Bibliographical References And Index.
Keywords: Programming Languages (Electronic Computers) -- Semantics