Modular Compilers and Their Correctness Proofs (2001)

by W Harrison