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.

@inproceedings{EhrichL78,
  title = {Constructive Specifications of Abstract Data Types by Replacements},
  author = {Hans-Dieter Ehrich and V. G. Lohberger},
  year = {1978},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/EhrichL78},
  cites = {0},
  citedby = {0},
  pages = {180-191},
  booktitle = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30 - November 3, 1978},
  editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg},
  volume = {73},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-09525-X},
}