Michael A. Bender Martin Farach-Colton Miguel A. Mosteiro Insertion Sort is O(n log n) http://arxiv.org/abs/cs.DS/0407003 2004 CoRR cs.DS/0407003 db/journals/corr/corr0407.html#cs-DS-0407003 informal publication