Implementation and application of automata : 17th international conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings - Nelma Moreira, editor ([, Springer-Verlag], 2012)