@misc{indiciae0cd4028bd79f,
  title = {Tools and techniques for the development of secure software.},
  author = {J Davey},
  year = {1994},
  url = {https://pubmed.ncbi.nlm.nih.gov/8188411/},
  note = {Source identifier: 8188411}
}