JFLAP : An Interactive Formal Languages and Automata Package - Rodger, Susan H.; Finley, Thomas W. (Jones and Bartlett Publ.,Inc, 2006)