Handbook of Theoretical Computer Science, Vol. B by Joke van Leeuwen