Markus Holzer Muriel Quenzer VisA: A Tool for Visualizing and Animating Automata and Formal Languages. 450-451 1998 conf/gd/1998 Graph Drawing http://link.springer.de/link/service/series/0558/bibs/1547/15470450.htm db/conf/gd/gd98.html#HolzerQ98