Calcul par l'informatique: méthode logique d'enseignement des mathématiques - Bertin, Marie-José (Collection formation des enseignants et formation continue, 1983)