@misc{indiciaebbd5ac2c9a06,
  title = {An elementary tutorial on formal specification and verification using PVS},
  author = {Butler, Ricky W.},
  year = {1993},
  url = {https://ntrs.nasa.gov/citations/19940011063},
  note = {Source identifier: 19940011063}
}