Formal semantics of programming languages
edited by Randall Rustin.
Englewood, Cliffs, N.J. : Prentice-Hall, ©1972.
248 págs. : ilustraciones ; 24 cm.
Serie: Prentice-Hall series in automatic computation
ISBN: 0133290603
Cab. de portada: "Courant Computer Science Symposium 2, September 14-16, 1970".
Incluye referencias bibliográficas.
Reseña: MathSciNet, 55 #1771