Mendoza Morales, L., M. Capel Tuñón, y M. Pérez. «Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.». Revista Técnica De La Facultad De Ingeniería. Universidad Del Zulia, Vol. 36, n.º 1, 1, https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886.