Leram - Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity: 1