Current Trends in Theoretical Computer Science: The Challenge of the New Century (Vol 1: Algorithms and Complexity) (Vol 2: Formal Models and Semantics)