David Beech
On the Definitional Method of Standard PL/1
POPL, 1973.
@inproceedings{POPL-1973-Beech, author = "David Beech", booktitle = "{Conference Record of the First Symposium on Principles of Programming Languages}", doi = "10.1145/512927.512935", editor = "Patrick C. Fischer and Jeffrey D. Ullman", pages = "87--94", publisher = "{ACM Press}", title = "{On the Definitional Method of Standard PL/1}", year = 1973, }