Current Trends in Theoretical Computer Science, Entering the 21th Century

Computational Complexity (E Allender et al.) Formal Specification (H Ehrig et al.) Login in Computer Science (Y Gurevich et al.) Concurrency (M Nielsen et al.) Natural Computing (G Rozenberg et al.) Formal Language Theory (A Salomaa et al.)