@misc{112111,
  author = {D Wallace and David Kuhn and John Cherniavsky},
  title = {Proceedings of the Workshop on High Integrity Software; Gaithersburg, MD; Jan. 22-23, 1991},
  year = {1991},
  month = {1991-08-01},
  publisher = {Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD},
  language = {en},
}