Algorithm Theory - Swat 2004 by T. Hagerup