@misc{indiciae0c573c5173aa,
  title = {Formal design specification of a Processor Interface Unit},
  author = {Fura, David A. and Windley, Phillip J. and Cohen, Gerald C.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930003350},
  note = {Source identifier: 19930003350}
}