An Intensional Tool Applied to French Language Educational Software. - Honglian (Elena) Li; William W. Wadge (SEKE, 2004)