Existential quantifiers in abstract data types (1979)

by M Broy, W Dosch, H Parsch, P Pepper, M Wirsing
Venue:In Automata, Languages and Programming, 6-th Colloquium