L. Calvez, F. Urtasun, M. Tisseau, G. Giroire, H. Duma et al., Les machines à construire : des interfaces pour apprendre une méthode constructive de dénombrement, pp.49-60, 1997.

M. Urtasun and B. Ycart, Un logiciel pour apprendre à résoudre des exercices de dénombrement Evaluation en ligne des enseignements : le logiciel QUESTEL, pp.369-370, 1999.

A. Brygoo, T. Durand, P. Manoury, C. Queinnec, and M. Soria, Un cédérom pour Scheme, Chacun son entraîneur, un entraîneur pour tous, pp.223-231, 2002.