On the Definitional Method of Standard PL/1.

David Beech On the Definitional Method of Standard PL/1. 87-94 1973 POPL db/conf/popl/popl73.html#Beech73