Barbara König A general framework for types in graph rewriting. 349-388 2005 42 Acta Inf. 4-5 http://dx.doi.org/10.1007/s00236-005-0180-4 db/journals/acta/acta42.html#Konig05