Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers - Bruce W. Watson, Derick Wood ((Lecture Notes in Computer Science))