Algorithm Theory - Swat'98 by S. Arnborg & L. Ivansson