Nagl, Manfred, et al. “Software Specification by Graph Grammars.”dx.doi.org/10.1007/BFb0000113__Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
LibreCat: /record/8255
DOI: dx.doi.org/10.1007/BFb0000113

Engels, Gregor, et al. “Software Specification Using Graph Grammars.”http://dx.doi.org/10.1007/BF02251236__Computing, vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
LibreCat: /record/7411
DOI: http://dx.doi.org/10.1007/BF02251236

Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.”http://dx.doi.org/10.1007/BF00265557__Acta Informatica, vol. 9, no. 3, 1983, pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
LibreCat: /record/7412
DOI: http://dx.doi.org/10.1007/BF00265557

Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG), München (Germany), Hanser, 1982, pp. 47–62.
LibreCat: /record/7811

Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.” Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), vol. 82, 1982, pp. 254–70.
LibreCat: /record/7812

Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat: /record/8184

Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat: /record/8185