@misc{indiciaec5468e80676f,
  title = {Ada programming guidelines for deterministic storage management},
  author = {Auty, David},
  year = {1988},
  url = {https://ntrs.nasa.gov/citations/19900004666},
  note = {Source identifier: 19900004666}
}