1. J-R Abrial, S Schumann and B Meyer, Specification language, in R McKeag and A Macnaghten (eds), On the construction of programs: an advanced course, Cambridge University Press, 1980
2. Pierre America, A behavioural approach to subtyping in object oriented programming languages, ESPRIT Project 415 Doc No 443, January 1989
3. Ed Brinksma, Giuseppe Scollo and Chris Steenbergen, LOTOS specifications, their implementations and their tests, Proc. Sixth International Symposium on Protocol Specification, Testing and Verification, Montreal, June 1986 (North Holland)
4. Luca Cardelli and Peter Wegner, On understanding types, data abstraction and polymorphism, Computing Surveys 17, December 1985
5. D Carrington, D Duke, R Duke, P King, G Rose and G Smith, Object-Z: An object oriented extension to Z, FORTE89 — International Conference On Formal Description Techniques, Vancouver, December 1989 (North Holland)