L.: Advice on Structuring Compilers and proving Them Correct (1973)

by F Morris
Venue:Proc, of ACM Symp. on Principles of Prog. Languages