Graph Tool - A Tool for Interactive Design and Manipulation of Graphs and Graph Algorithms. - Vitus J. Leung; Michael B. Dillencourt; Andrew L. Bliss (Computational Support for Discrete Mathematics, 1992)