Diosa, Henry Alberto, Juan Francisco Díaz Frías, and Carlos Mauricio Gaona Cuevas. “Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo −Parq”. Revista Científica, no. 12 (August 19, 2011): 156–171. Accessed July 8, 2026. https://revistas.udistrital.edu.co/index.php/revcie/article/view/608.