1. Boiten, E., Bowman, H., Derrick, J., Linington, P., and Steen, M. (2000). Viewpoint consistency in ODP. Computer Networks, 34 (3): 503–537.
2. Boiten, E., Derrick, J., Bowman, H., and Steen, M. (1999). Constructive consistency checking for partial specification in Z. Science of Computer Programming, 35 (1): 29–75.
3. Bowman, H., Boiten, E., Derrick, J., and Steen, M. (1996). Viewpoint consistency in ODP, a general interpretation. In Najm, E. and Stefani, J.-B., editors, First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, pages 189–204, Paris. Chapman and Hall.
4. Derrick, J. and Boiten, E. (2001a). Applying ODP to an air traffic management system: viewpoints and correspondences. Submitted for publication.
5. Derrick, J. and Boiten, E. (2001b). Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer-Verlag.