Method and Notation for the Formal Definition of Programming Languages (1968)

by P LUCAS