"More on Advice on Structuring Compilers and Proving Them Correct."

James W. Thatcher, Eric G. Wagner, Jesse B. Wright (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics