CABRI, An Interactive System for Graph Manipulation. - M. Dao; Michel Habib; J. P. Richard; Didier Tallot (WG, 1986)