TY  - RPRT
TI  - A Formal Semantics for the SRI Hierarchical Program Design Methodology
AU  - Boyer, R. S.
AU  - Moore, J. S.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840017250
ID  - 19840017250
ER  -