Article (BCM06)
Michael A. Bender, Martin Farach-Colton, M. A. M.
Springer Science+Business Media, I. (ed.)
INSERTION SORT Is O(nlogn)
Theory of Computing Systems, 2006