Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing. Existential Quantifiers in Abstract Data Types. In Hermann A. Maurer, editor, Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings. Volume 71 of Lecture Notes in Computer Science, pages 73-87, Springer, 1979.
@inproceedings{BroyDPPW79,
title = {Existential Quantifiers in Abstract Data Types},
author = {Manfred Broy and Walter Dosch and Helmuth Partsch and Peter Pepper and Martin Wirsing},
year = {1979},
tags = {data-flow},
researchr = {https://researchr.org/publication/BroyDPPW79},
cites = {0},
citedby = {0},
pages = {73-87},
booktitle = {Automata, Languages and Programming, 6th Colloquium, Graz, Austria, July 16-20, 1979, Proceedings},
editor = {Hermann A. Maurer},
volume = {71},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-09510-1},
}