Favre, Liliana María Integración de técnicas orientadas al cliente y técnicas formales en el desarrollo de software con UML y RUP - p. 241-245 Standard No.: DIF-M4859