TY  - RPRT
TI  - HDM/PASCAL Verification System User's Manual
AU  - Hare, D.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840017247
ID  - 19840017247
ER  -