Conceptos Fundamentales de los Lenguajes de Programación
1978·divulgacion
Un texto que examina la semántica formal de los lenguajes de programación utilizando métodos matemáticos y lógicos, incluyendo la semántica denotacional, axiomática y operacional.