Bender, M. A., Farach-Colton, M. & Mosteiro, M. A. (2006). Insertion Sort is O(n log n)..
Theory of Computing Systems
, 39.