1. Cockton, G.: ‘The architectural bases of design re-use’, Duce, D.A., Gomes, M.R., Hopgood, F.R.A., Lee, J.R., User interface management and design: proceedings of the workshop onuser interface management systems and environments, (Springer-Verlag 1990), p. 15–34
2. Duke, R., King, P., Rose, G., and Smith, G.: ‘The Object-Z specification language’, Korson, T., Vaishnavi, V., Meyer, B., Technology of object-oriented languages and systems: TOOLS 5, (Prentice-Hall 1991), p. 465–483
3. Spivey, J.M.: ‘The Z notation: a reference manual’, (Prentice-Hall 1992),2nd edn.
4. Goldberg, A., and Robson, D.: ‘Smalltalk-80: the language’, (Addison-Wesley 1989)
5. Ousterhout, J.K.: ‘Tcl and the Tk toolkit’, (Addison-Wesley 1994)