Euclidean algorithm
The Euclidean algorithm, which computes the greatest common divisor of two integers, can be written recursively.