Editing graphs with dotty (1994)

by Eleftherios Koutsoos