Ronald V. Book

• Formal language theory
• Rewriting Techniques and Applications
• String-rewriting systems
• String-Rewriting Systems (Monographs in Computer Science)
• Studies in complexity theory
• Formal Language Theory
• Grammars with time functions