TY  - GEN
AU  - Estevez,Elsa Clara
TI  - Formal specifications in component-based development
ER  -