APA Style

WINSKEL, G. (1993). The Formal Semantics of Programming Languages: An Introduction . Cambridge, Massachusetts: The MIT Press.

MLA Style

WINSKEL, Glynn. "The Formal Semantics of Programming Languages: An Introduction". Cambridge, Massachusetts: The MIT Press, 1993. Text.