@misc{indiciae7d4d4d163e17,
  title = {Report on the formal specification and partial verification of the VIPER microprocessor},
  author = {Brock, Bishop and Hunt, Warren A., Jr.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19910056502},
  note = {Source identifier: 19910056502}
}