Implementation and Application of Automata 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings - Ibarra, Oscar H.; Dang, Zhe (Springer Berlin Heidelberg, 2003)