1. America, P. (1991). Designing an object-oriented programming language with behavioural subtyping. In de Bakker, J., de Roever, W., and Rozenberg, G., editors, REX Workshop: Foundations of Object-Oriented Languages,number 489 in LNCS. Springer.
2. Balzarotti, C., Cindio, F. D., and Pomello, L. (1999). Observation equivalences for the semantics of inheritance. In Ciancarini, P. and Gorrieri, R., editors, FMOODS ‘89, Formal methods for open object-based distributed systems.
3. Bowman, H., Briscoe-Smith, C., Derrick, J., and Strulo, B. (1997). On behavioural subtyping in LOTOS. In Bowman, H. and Derrick, J., editors, Formal methods for open object-based distributed systems,pages 335 — 351. Chapman & Hall.
4. Cusack, E. (1991). Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129 — 141.
5. Engels, G., Heckel, R., and Küster, J. (2001). Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In Gogolla, M., editor, UML 2001. Springer.