TY  - RPRT
TI  - Abstract Datatypes in PVS
AU  - Owre, Sam
AU  - Shankar, Natarajan
PY  - 1997
UR  - https://ntrs.nasa.gov/citations/19980237906
ID  - 19980237906
ER  -