La semántica de los lenguajes de programación
1971·no ficcion
Un trabajo temprano que examina diferentes enfoques para definir el significado de los lenguajes de programación, incluyendo nociones de semántica operacional y axiomática, antes de la consolidación del enfoque denotacional.