More on advice on structuring compilers and proving them correct (1980)

by J W Thatcher, E G Wagner, J B Wright
Venue:LNCS'94: Proceedings of a Workshop on Semantics-Directed Compiler Generation