Current Trends In Theoretical Computer Science: The Challenge Of The New Centuryvol 1: Algorithms And Complexityvol 2: Formal Models And Semantics - Grzegorz Rozenberg; Arto Salomaa; Gheorghe Paun (2004)