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