1. Lecture Notes in Computer Science;D. Ancona,1999
2. Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P., Sannella, D., Tarlecki, A.: Formal Methods 1999 - CASL, The Common Algebraic Specification Language - Semantics. Available on compact disc published by Springer-Verlag (1999)
3. Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)
4. Cook, W.: A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci., Brown University (1989)
5. Reddy, U.S.: Objects as closures: Abstract semantics of object-oriented languages. In: Proc. ACM Conf. on Lisp and Functional Programming, pp. 289–297 (1988)