Antonio L. Furtado Paulo A. S. Veloso Specification of data bases through rewriting rules. 102-114 1982 conf/gg/1982 Graph-Grammars and Their Application to Computer Science db/conf/gg/gg1982.html#FurtadoV82