Danvy, O. and Goldberg, M. (1997) “Partial Evaluation of the Euclidian Algorithm (Extended Version)”, BRICS Report Series, 4(1). doi: 10.7146/brics.v4i1.18780.