@misc{indiciaeeb7e8731e05f,
  title = {Certification trails for data structures},
  author = {Sullivan, Gregory F. and Masson, Gerald M.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940031562},
  note = {Source identifier: 19940031562}
}