Title: Formal semantics of programming languages
First published: 1972
Subjects: Congresses, Programming languages (Electronic computers)
LC classification: QA76.7 C68 1970