Raymond T. Boute The Euclidian Definition of the Functions div and mod. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1992, v:14, n:2, pp:127-144 [Journal]
Carsten K. Gomard A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1992, v:14, n:2, pp:147-172 [Journal]