Bruno Courcelle Joost Engelfriet Grzegorz Rozenberg Handle-Rewriting Hypergraph Grammars. 218-270 1993 46 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss46.html#CourcelleER93