Jean-Marc Champarnaud Denis Maurel Djelloul Ziadi Automata Implementation, Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers WIA Lecture Notes in Computer Science 1660 Springer 1999 3-540-66652-4 db/conf/wia/wia1998.html