1. Broy, M., Dosch, H., Partsch, H., Pepper, P., Wirsing, M., Existential Quantifiers in Abstract Data Types, Proc. 6th ICALP, Graz 1979, Springer LNCS 71
2. Burstall, R.M., Goguen, J. A., The semantics of CLEAR, a specification language, in: D. Bjorner, ed., Proc. Advanced Course on Abstract Software Specifications, Springer LNCS 86, 1980
3. Broy, Facchi, Grosu, Hettler, Hussmann, Nazareth, Regensburger, Stolen, The Requirement and Design Specification Language SPECTRUM, technical report TUM-I9140, TU Munich, 1991
4. CIP-Group, The Munich Project CIP, Vol. 2, The Program Transformation System CIP-S, Springer LNCS 292 (1987)
5. Ehrich, H.-D., On the theory of specification, implementation, and parameterization, of abstract data types, JACM 29(1), 1982