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.
Abstract is missing.