Formal semantics of Programming languages
Courant Computer Science Symposium (2nd 1970 New York) Randall Rustin
Englewood, Cliffs, N.J. Prentice-Hall 1972
Disponible en
EPBC - Esc. Politécnica-Bib Central
(004.43 C833 2. ) y otras localizaciones(Obténgalo)