Gerth Stølting Brodal Christos Makris Kostas Tsichlas Purely Functional Worst Case Constant Time Catenable Sorted Lists. 172-183 2006 conf/esa/2006 ESA http://dx.doi.org/10.1007/11841036_18 db/conf/esa/esa2006.html#BrodalMT06