Andrew P. Tolmach Andrew W. Appel Debugging Standard ML Without Reverse Engineering. 1-12 1990 LISP and Functional Programming http://doi.acm.org/10.1145/91556.91564 db/conf/lfp/lfp1990.html#TolmachA90