Les machines à construire : des interfaces pour apprendre une méthode constructive de dénombrement, pp.49-60, 1997. ,
Un logiciel pour apprendre à résoudre des exercices de dénombrement Evaluation en ligne des enseignements : le logiciel QUESTEL, pp.369-370, 1999. ,
Un cédérom pour Scheme, Chacun son entraîneur, un entraîneur pour tous, pp.223-231, 2002. ,