Mendoza Morales, Luis, Manuel Capel Tuñón, y María Pérez. «Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.». Rev. Téc. Fac. Ing. Univ. Zulia 36, no. 1 (1). Accedido agosto 2, 2025. https://produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/6886.