Pérez Castillo, José Nelson. “Métodos Formales y Tecnologías Orientadas a Objetos”. Ingeniería, no. 1 (November 30, 1998): 10–18. Accessed April 24, 2024. https://revistas.udistrital.edu.co/index.php/reving/article/view/2282.