Mike Paterson Algorithms - ESA 2000, 8th Annual European Symposium, Saarbrücken, Germany, September 5-8, 2000, Proceedings ESA Lecture Notes in Computer Science 1879 Springer 2000 3-540-41004-X db/conf/esa/esa2000.html