O. Danvy and M. Goldberg, “Partial Evaluation of the Euclidian Algorithm (Extended Version)”, BRICS, vol. 4, no. 1, Jan. 1997.