1. M Ainsworth, AH Cruickshank, LJ Groves, and PJL Wallis. Viewpoint specification and Z. Information and Software Technology, 36 (1): 43 - 51, February 1994.
2. D. Bert, M. Bidoit, C. Choppy, R. Echahed, J. -M. Hufflen, J. -P. Jacquot, M. Lemoine, N. Lévy, J. -C. Reynaud, C. Roques, F. Voisin, J. -P. Finance, and M. -C. Gaudel. Opération SALSA: Structure d’AccueiL pour Spécifications Algébriques. Rapport final, PRC Programmation et Outils pour lintelligence Artificielle, 1993.
3. H. Bowman and J. Derrick. Towards a formal model of consistency in ODP. Technical Report 3-94, Computing Laboratory, University of Kent at Canterbury, 1994.
4. E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, VIII, pages 63 - 74, Atlantic City, USA, June 1988. North-Holland.
5. E. Brinksma, G. Scollo, and C. Steenbergen. Process specification, their implementation and their tests. In B. Sarikaya and G. V. Bochmann, editors, Protocol Specification, Testing and Verification, VI, pages 349 - 360, Montreal, Canada, June 1986. North-Holland.