Knuth, D. E. Knuth, D.~E., ed. (1973), Sorting and searching. , Vol. 3 .