Title: A method for defining formal semantics of programming languages applied to SIMULA
First published: 1976