Danvy, O.; Goldberg, M. Partial Evaluation of the Euclidian Algorithm (Extended Version). BRICS 1997, 4.