Winskel, G. (1996). The formal semantics of programming languages: An introduction. Cambridge, MA: The MIT Press.
Παραπομπή Chicago StyleWinskel, Glynn. The Formal Semantics of Programming Languages: An Introduction. Cambridge, MA: The MIT Press, 1996.
Παραπομπή MLAWinskel, Glynn. The Formal Semantics of Programming Languages: An Introduction. Cambridge, MA: The MIT Press, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.