Michael A. Bender, Martin Farach-Colton, M. A. M. (2006), 'INSERTION SORT Is O(nlogn)', Theory of Computing Systems .