TY  - RPRT
TI  - The scheme machine: A case study in progress in design derivation at system levels
AU  - Johnson, Steven D.
PY  - 1995
UR  - https://ntrs.nasa.gov/citations/19960000036
ID  - 19960000036
ER  -