Estevez, Elsa Clara <br/><br/>
Formal specifications in component-based development 

 - p.276-279 
<br/><br/><label>Standard No.: </label>DIF-M5007