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