Formal Languages and Compilation (Texts in Computer Science)