1. Stud. Logic Found. Math.,1977
2. Bauer, F.L., Wössner, H.: Algorithmische Sprache und Programmentwicklung. 2nd edn. Berlin Heidelberg New York: Springer 1984, (English translation of first ed.: Algorithmic Language and Program Development. Springer 1982)
3. Bothe, K.: A comparative study of abstract data type concepts. Elektron. Informationsverarbeitung Kybernetik17, 237?257 (1981)
4. Stud. Logic Found. Math.;C.C. Chang,1977
5. Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types In: Yeh, R.T. (ed.) Current trends in programming methodology. Volume IV: Data structuring, ch. 5, pp. 80?149. Englewood Cliffs, NJ: Prentice-Hall 1978