TY  - BOOK
AU  - Levitt, Karl N.
AU  - Neumann, Peter.
AU  - Robinson, Lawrence
TI  - SRI hierarchical development methodology(HDM) and its application to the development of secure software
T2  - NBS Special Publication 500-67
U1  - 001.6425 
PY  - 1980///
CY  - Washington, D.C
PB  - U.S. Department of Commerce
ER  -