1. Spivey JM (1992) The Z notation. A reference manual. Prentice Hall International Series in Computer Science
2. Brown (1990) Rational for the development of the U.K. defence standards for safety critical software. Compass Conference
3. Hinchey M, Bowen J (eds) (1995) Applications of formal methods. Prentice Hall International Series in Computer Science
4. Ministry of Defence (1991) 00-55 (Part 1)/Issue 1 The procurement of safety critical software in defence equipment. Part 1: requirements. Interim Defence Standard. UK
5. Ministry of Defence (1991) 00-55 (Part 2)/Issue 1 The procurement of safety critical software in defence equipment. Part 2: guidance. Interim Defence Standard. UK