TY  - RPRT
TI  - SSL: A software specification language
AU  - Austin, S. L.
AU  - Buckles, B. P.
AU  - Ryan, J. P.
PY  - 1976
UR  - https://ntrs.nasa.gov/citations/19760014843
ID  - 19760014843
ER  -