Correctness of a Compiler for Algol-like Programs. AIM-048

purl.stanford.edu/hk625xv7120