Implementation and Application of Automata 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers - Domaratzki, Michael; Salomaa, Kai (Springer Berlin Heidelberg : Imprint: Springer, 2011)