O. Danvy og M. Goldberg, “Partial Evaluation of the Euclidian Algorithm (Extended Version)”, BRICS, bd. 4, nr. 1, jan. 1997.