1. Ministry of Defence. The Procurement of Safety Critical Software in Defence Equipment. INTERIM Defence Standard 00–55, April 1991.
2. Edward Yourdon. Structrtred Systems Analysis. Prentice Hall, 1990.
3. HOOD Technical Group. HOOD Reference Manual. Prentice Hall and Masson, 1999.
4. J.R. Cameron. An Overview of JSD. IEEE Trans. Software Eng., SE-12(2), 1986.
5. M.A. Jackson. System Development. Prentice Hall, 1983.