Holger Petersen: Element Distinctness and Sorting on One-Tape Off-Line Turing Machines. SOFSEM 2008: 406-417