Mechanical Verification of Compiler Correctness (1998)

by David William John Stringer-Calvert