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