Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers Bouchou-Markhoff, Béatrice Heftet / 2011 / Engelsk
