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