Implementation and Application of Automata : 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers - Shen Yu, Andrei P.un ((Lecture Notes in Computer Science))