Constructive Specifications of Abstract Data Types by Replacements. - Hans-Dieter Ehrich; V. G. Lohberger (Graph-Grammars and Their Application to Computer Science and Biology, 1978)