1. P. America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer, 1991.
2. C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS ‘89, Formal methods for open object-based distributed systems, 1999.
3. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, Formal methods for open object-based distributed systems, pages 335–351. Chapman & Hall, 1997.
4. H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, Formal methods for open object-based distributed systems FMOODS ‘89, pages 213–239. Kluwer, 1999.
5. E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v.Bochmann, editors, Protocol Specification, Testing and Verification VI, pages 349–358. Elsevier, 1987.