TY  - RPRT
TI  - Selecting reusable components using algebraic specifications
AU  - Eichmann, David A.
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930003199
ID  - 19930003199
ER  -