エドガー・ダイクストラ
Edsger W. Dijkstra used them as an integral part of his smoothsort algorithm, and also analyzed them in some detail.