Pérez Castillo, J.N. 1998. Métodos Formales y Tecnologías Orientadas a Objetos. Ingeniería. 1 (Nov. 1998), 10–18. DOI:https://doi.org/10.14483/23448393.2282.