Fibonacci and the greatest common divisor

Edsger W. Dijkstra. Fibonacci and the greatest common divisor. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 7-10, 1996.

Abstract

Abstract is missing.