Constructive Specifications of Abstract Data Types by Replacements

Hans-Dieter Ehrich, V. G. Lohberger. Constructive Specifications of Abstract Data Types by Replacements. In Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg, editors, Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30 - November 3, 1978. Volume 73 of Lecture Notes in Computer Science, pages 180-191, Springer, 1978.

Abstract

Abstract is missing.