Mendoza Morales, L., M. Capel Tuñón, y M. Pérez. «Verificación automática De Procesos De Negocio Con Un Enfoque Composicional.». Rev. Téc. Fac. Ing. Univ. Zulia, Vol. 36, n.º 1, 1, https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6886.