Edsger W. Dijkstra. The argument about the arithmetic mean and the geometric mean, heuristics included. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 29-32, 1996.
Abstract is missing.