1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25–59, 1988.
2. 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.
3. H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17:457–479, September 1995.
4. H. Bowman, E.A. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, Paris, March 1996. Chapman & Hall.
5. E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113–126. Springer-Verlag, 1992.