Jacques Farré Igor Litovsky Sylvain Schmitz Implementation and Application of Automata, 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers 3845 3-540-31023-1 2006 CIAA Lecture Notes in Computer Science Springer db/conf/wia/ciaa2005.html