TY  - RPRT
TI  - Formal design specification of a Processor Interface Unit
AU  - Fura, David A.
AU  - Windley, Phillip J.
AU  - Cohen, Gerald C.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930003350
ID  - 19930003350
ER  -