Elaboración de prototipo utilizando lenguaje formal Z para la especificación de los requerimientos del sistema de proveedores de la Empresa "Casa Mántica, S.A." - Pérez Guerrero, Hazell Cristina (UNAN, Managua, 2003)