Martin Erwig Functional Programming with Graphs. 52-65 1997 ICFP db/conf/icfp/icfp97.html#Erwig97