"Process Semantics of Graph Reduction."

Simon Brock, Gerald Ostheimer (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics