Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers - Watson, Bruce; Watson, Bruce; Wood, Derick; Wood, Derick (Springer Berlin Heidelberg : Imprint: Springer, 2002)