Winskel, G. (1993). The formal semantics of programming languages: An introduction. MIT Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Winskel, G. The Formal Semantics of Programming Languages: An Introduction. Cambridge, Mass: MIT Press, 1993.
Παραπομπή σε μορφή MLA (8th εκδ.)Winskel, G. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.