@misc{155476,
  author = {K Levitt and P Neumann and L Robinson},
  title = {The SRI Hierarchical Development Methodology (HDM) and its Application to the Development of Secure Software},
  year = {1980},
  month = {1980-10-01},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}