James W. Thatcher, Eric G. Wagner, Jesse B. Wright: More on advice on structuring compilers and proving them correct. Semantics-Directed Compiler Generation 1980: 165-188