Title: Monographs in Theoretical Computer Science : An EATCS Series