J. N. Pérez Castillo, “Métodos Formales y Tecnologías Orientadas a Objetos”, Ing., no. 1, pp. 10–18, Nov. 1998.