Graph-Grammars and Their Application to Computer Science