The Format semantics of programming Languages: an introduction /cGlynn Winskel. - Winskel, Glynn. (The MIT Press, 1993)
Includes bibliographical references & index.