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.
No references recorded for this publication.
No citations of this publication recorded.