Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers - Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai; Yu, Sheng (Springer Berlin Heidelberg, 2005)