Texts in Theoretical Computer Science An EATCS Series Editors: W. Brauer G. Rozenberg A. Salomaa On behalf of the European Association for Theoretical Computer Science (EATCS)…