1. E. Boiten, J. Derrick, H. Bowman, and M. Steen. Consistency and refinement for partial specification in Z. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287–306. Springer-Verlag, March 1996.
2. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25–59, 1988.
3. 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.
4. 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.
5. E. Cusack. Object oriented modelling in Z for Open Distributed Systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 167–178, Berlin, Germany, September 1991. North-Holland.