Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings - Oscar H. Ibarra, Bala Ravikumar ((Lecture Notes in Computer Science))