Relating models of backtracking. - Mitchell Wand; Dale Vaillancourt (ICFP, 2004)

ACL2 in DrScheme. - Dale Vaillancourt; Rex L. Page; Matthias Felleisen (ACL2, 2006)