The Work Logique: vol. 2: Méthodes formelles pour l'étude des programmes The details The Author Paul Gochet The offers View paperback on Amazon