Increasing interaction and support in the formal languages and automata theory course. - Susan H. Rodger; Jinghui Lim; Stephen Reading (ITiCSE, 2007)