Title: Consistent formal theories of the semantics of programming languages
First published: 1971
Subjects: Formal languages