Markus Holzer Muriel Quenzer VisA: towards a students' green card to automata theory and formal languages. 67-75 1998 ACSE http://doi.acm.org/10.1145/289393.289405 conf/acse/1998 db/conf/acse/acse1998.html#HolzerQ98