1. M. Ainsworth, A. H. Cruickshank, L. J. Groves, and P. J. L. Wallis. Viewpoint specification and Z. Information and Software Technology, 36 (1): 43–51, February 1994.
2. E. Boiten, H. Bowman, J. Derrick, and M. Steen. Cross viewpoint consistency in Open Distributed Processing (intra language consistency). Technical Report S-95, Computing Laboratory, University of Kent at Canterbury, 1995.
3. H. Bowman, J. Derrick, and M.W.A. Steen. Some results on cross viewpoint consistency checking. In K. Raymond and L. Armstrong, editors, IFIP TC6 International Conference on Open Distributed Processing, pages 399–412, Brisbane, Australia, February 1995. Chapman and Hall.
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. J. Derrick, E.A. Boiten, H. Bowman, and M. Steen. Supporting ODP translating LOTOS to Z. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems Paris, March 1996. Chapman and Hall. To appear.