Carlos Iván Chesñevar Maria Laura Cobo William Yurcik Using theoretical computer simulators for formal languages and automata theory. 33-37 2003 35 SIGCSE Bulletin 2 http://doi.acm.org/10.1145/782941.782975 db/journals/sigcse/sigcse35.html#ChesnevarCY03