"Double-Pushout Approach with Injective Matching."

Annegret Habel, Jürgen Müller, Detlef Plump (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics