Title: LINGOL, a readable formalism for programming language semantics
Subjects: Formal languages, Notation, Programming languages (Electronic computers), Semantics