Correctness of two compilers for a Lisp subset

purl.stanford.edu/gn029kd0216