Jan van Leeuwen Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity Elsevier and MIT Press 1990 0-444-88071-2 0-262-22038-5 db/books/collections/leeuwen90.html