Frank G. Pagan Toward Complete Programming Language Descriptions that are both Formal and Understandable. 199-206 1984 14 Softw., Pract. Exper. 3 db/journals/spe/spe14.html#Pagan84