Especificación Formal de Elementos MoProSoft a partir del Modelo de Referencia de Flujos de Trabajo. - Leonel Valenzuela Ruiz; Brenda Leticia Flores Ríos (JIISIC, 2008)