TY  - SER
AU  - Feather, Martin S.
TI  - Constructing Specifications by Combining Paraliel Elaborations
KW  - Specification
KW  - Reuse
KW  - High-Level Estimation
ER  -