Leeuwen (Ed.): Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (1990)