2 works on record
Implementation and Application of Automata
Descriptional Complexity of Formal Systems