Max Silberztein INTEX 4.1 for Windows: A Walkthrough. 230-243 1998 conf/wia/1998 Workshop on Implementing Automata http://dx.doi.org/10.1007/3-540-48057-9_22 db/conf/wia/wia1998.html#Silberztein98