1. Lecture Notes in Computer Science;H. Baumeister,1995
2. Baumeister, H.: Using algebraic specification languages for model-oriented specifications. Technical Report MPI-I-96-2-003, Max-Planck-Institut für Informatik, Saarbrücken, Germany (February 1996)
3. Baumeister, H.: Relations between Abstract Datatypes modeled as Abstract Datatypes. PhD thesis, Universität des Saarlandes, Saarbrücken (May 1999)
4. Burstall, R.M., Goguen, J.A.: The semantics of Clear, a specification language (February 1980)
5. Ehrig, H., Orejas, F.: Dynamic abstract data types, an informal proposal. Bulletin of the EATCS 53, 162–169 (1994)