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