C. Pair M. Amirchahy D. Neel Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. 1-17 1979 19 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss19.html#PairAN79