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