James Abello Irene Finocchi Jeffrey L. Korn Visualization of State Transition Graphs Graph Sketches. 67- 2001 INFOVIS http://computer.org/proceedings/infovis/1342/13420067abs.htm db/conf/infovis/infovis2001.html#AbelloFK01