"Computing with Graph Relabelling Systems with Priorities."

Igor Litovsky, Yves Métivier (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics