James W. Thatcher Eric G. Wagner Jesse B. Wright More on Advice on Structuring Compilers and Proving them Correct. 223-249 1981 15 Theor. Comput. Sci. db/journals/tcs/tcs15.html#ThatcherWW81