Implementation and application of automata : 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004 : revised selected papers / - Domaratzki, Michael. (Springer, 2005)