1. America, P.: Object-Oriented Programming: A Theoretician's Introduction. EATCS Bulletin 29 (1986), 69–84
2. Bergstra,J.A.;Tucker,J.V.: The Inescapable Stack: an Exercise in Algebraic Specification with Total Functions. Report No. P8804, Programming Research Group, University of Amsterdam 1988
3. Dayal, U.;Dittrich, K.(eds): Proc. Int. Workshop on Object-Oriented Database Systems. IEEE Computer Society, Los Angeles 1986
4. Dahl. O.-J.;Myhrhaug, B.:Nygaard, K.: SIMULA 67, Common Base Language, Norwegian Computing Center, Oslo 1967
5. Ehrich, H.-D.: Key Extensions of Abstract Data Types. Final Algebras, and Database Semantics. Proc. Workshop on Category Theory and Computer Programming (D. Pitt et al, eds.), LNCS 240, Springer-Verlag, Berlin 1986, 412–433