A veri compiler for pure PreScheme (1992)

by Dino P Oliva, Mitchell Wand