1. J.M. Spivey, The Z Notation. A Reference Manual (Prentice Hall International Series in Computer Science, 1992)
2. M.J.D. Brown, Rational for the development of the U.K. Defence Standards for Safety Critical software, in Compass Conference (1990)
3. M. Hinchey, J. Bowen, Applications of Formal Methods (Prentice Hall International Series in Computer Science, 1995)
4. 00-55 (PART 1) I Issue 1, The Procurement of Safety Critical software in Defence Equipment, PART 1: Requirements. Ministry of Defence, Interim Defence Standard, U.K., 1991
5. 00-55 (PART 2) I Issue 1, The Procurement of Safety Critical software in Defence Equipment, PART 2: Guidance. Ministry of De fence, Interim Defence Standard, U.K., 1991