2 books • 2 series
Modeling Time in Computing (Monographs in Theoretical Computer Science. An EATCS)
Formal Languages and Compilation (Texts in Computer Science)