TY  - RPRT
TI  - High order software - A methodology for defining software
AU  - Hamilton, M.
AU  - Zeldin, S.
PY  - 1975
UR  - https://ntrs.nasa.gov/citations/19750042668
ID  - 19750042668
ER  -