@misc{112041,
  author = {D Wallace and M Brown and A Mckinlay},
  title = {Proceedings of the Forum on Standards for High Integrity Software},
  year = {1991},
  month = {1991-09-01},
  publisher = {NIST Interagency/Internal Report (NISTIR), National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}