Implementation and Application of Automata : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings - Nelma Moreira, Rogério Reis ((Lecture Notes in Computer Science))