Stepwise Specification and Implementation of Abstract Data Types

Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz. Stepwise Specification and Implementation of Abstract Data Types. In Giorgio Ausiello, Corrado Böhm, editors, Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Volume 62 of Lecture Notes in Computer Science, pages 205-226, Springer, 1978.

@inproceedings{EhrigKP78,
  title = {Stepwise Specification and Implementation of Abstract Data Types},
  author = {Hartmut Ehrig and Hans-Jörg Kreowski and Peter Padawitz},
  year = {1978},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/EhrigKP78},
  cites = {0},
  citedby = {0},
  pages = {205-226},
  booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings},
  editor = {Giorgio Ausiello and Corrado Böhm},
  volume = {62},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08860-1},
}