1. Pierre America. Designing an object-oriented programming language with behavioural subtyping. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May/June 1990, volume 489 of LNCS, pages 60–90. Springer-Verlag, NY, 1991.
2. Andrew P. Black, Norman Hutchinson, Eric Jul, Henry M. Levy, and Larry Carter. Distribution and abstract types in Emerald. IEEE TSE, 13(1):65–76, January 1987.
3. K.B. Bruce and P. Wegner. An algebraic model of subtype and inheritance. In Francois Bancilhon and Peter Buneman, editors, Advances in Database Programming Language, pages 75–96. Addison-Wesley, Reading, MA, 1990.
4. Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138–164, 1988.
5. D. Carrington, D. Duke, R. Duke, P. King, G. Rose, and P. Smith. Object-Z: An object oriented extension to Z. In FORTE89, International Conference on Formal Description Techniques, December 1989.