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