@misc{112016,
  author = {D Wallace and L Ippolito},
  title = {A Framework for the Development and Assurance of High Integrity Software},
  year = {1994},
  month = {1994-12-01},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}