TY  - RPRT
TI  - Formally specifying the logic of an automatic guidance controller
AU  - Guaspari, David
PY  - 1990
UR  - https://ntrs.nasa.gov/citations/19910008263
ID  - 19910008263
ER  -