TY  - RPRT
TI  - Compositional Specification of Software Architecture
AU  - Penix, John
AU  - Lau, Sonie
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/20020073030
ID  - 20020073030
ER  -