Title: The mathematical semantics of Algol 60
Subjects: ALGOL (Computer program language)