Tools to implement automata, a first step: ASTL
1998 ◽
pp. 104-108
◽