Pons, Claudia Fabiana <br/><br/>
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z 

 - p. 977-989 
<br/><br/><label>Standard No.: </label>DIF-M4012