Levitt, K.
, Neumann, P.
and Robinson, L.
(1980),
The SRI Hierarchical Development Methodology (HDM) and its Application to the Development of Secure Software, Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed October 4, 2024)