"A functional reformulation of UnCAL graph-transformations: or, graph ..."

Kazutaka Matsuda, Kazuyuki Asada (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics