Pérez Castillo, José Nelson. 1998. “Métodos Formales y Tecnologías Orientadas a Objetos”. Ingeniería, no. 1 (November):10-18. https://doi.org/10.14483/23448393.2282.