The SRI hierarchical development methodology (HDM) and its applications to the development of secure software - Levitt, Karl N.; Neumann, Peter; Robinson, Lawrence (Nat. Bureau of Standards, 1980)
Keywords: Computer programming -- Management; Computer security