Calcul differentiel pour les langues de la logique : theorie et applications - Thayse, Andre (Lavoisier, 2004)