Miguel A. Mosteiro Michael A. Bender, Martin Farach-Colton. INSERTION SORT Is O(nlogn). In Inc. Springer Science+Business Media (Hrsg.), Theory of Computing Systems, 2006. [PUMA: insertion nlogn sort]