@misc{indiciaef52a39020ebc,
  title = {Experiences and perspectives with SRI's tools for software design and validation},
  author = {Goguen, J. and Levitt, K. N.},
  year = {1982},
  url = {https://ntrs.nasa.gov/citations/19830024090},
  note = {Source identifier: 19830024090}
}