Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers - Yu, Sheng; Yu, Sheng; Paun, Andrei; Paun, Andrei (Springer Berlin Heidelberg : Imprint: Springer, 2001)