A Verified Compiler for Pure PreScheme (1991)

by Dino P. Oliva , Mitchell Wand