Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings - Maneth, Sebastian (Springer Berlin Heidelberg : Imprint: Springer, 2009)