Tools to Implement Automata, a First Step: ASTL.

Vincent Le Maout Tools to Implement Automata, a First Step: ASTL. 104-108 1997 conf/wia/1997 Workshop on Implementing Automata db/conf/wia/wia1997.html#Maout97