A visual and interactive automata theory course with JFLAP 4.0. - Ryan Cavalcante; Thomas Finley; Susan H. Rodger (SIGCSE, 2004)