Modular Compilers and their Correctness Proofs (2001)

by W Harrison