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