Pérez Castillo, J. N. Métodos Formales y Tecnologías Orientadas a Objetos. Ing. 1998, 10-18.