Bender, Michael A. ; Farach-Colton, Martin ; Mosteiro, Miguel A.: Insertion Sort is O(n log n). In: Theory of Computing Systems, 39 (2006), Nr. 3, S. 391-397