Title: The mathematical semantics of ALGOL 60
First published: 1974