TY  - RPRT
TI  - Formal semantic specifications as implementation blueprints for real-time programming languages
AU  - Feyock, S.
PY  - 1981
UR  - https://ntrs.nasa.gov/citations/19820026575
ID  - 19820026575
ER  -