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}, }