Chesńevar, Carlos Iván Simulators for teaching formal languages and automata theory : A comparative survey - p. 1089-1097 Standard No.: DIF-M3907