| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| Formal Language Theory: Integrating Experimentation and Proof | Paperback | 978-0-521-71186-9 (0-521-71186-X) | |
| Formal Language Theory: Integrating Experimentation and Proof | Hardcover | 978-0-521-88488-4 (0-521-88488-8) |