Introduction à l'informatique rationnelle — Patrick Gerlier