Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings - Oscar H. Ibarra, Zhe Dang ((Lecture Notes in Computer Science))