Verification and Validation of Knowledge-Based Program Supervision Systems / Verificación y Validación de Sistemas de Supervisión de Programas Basados en el Conocimiento. - Maria del Mar Marcos López (1999)