Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, 1990