Title: Formal definition of programming languages
First published: 1967
Subjects: ALGOL (Computer program language), Programming languages (Electronic computers)