“…For instance, some researchers have been promoting a greater presence of discrete mathematics and proof techniques in secondary schools (Abramovich and Pieper, 1996, da Rosa, 2002, Rosenstein et al, 1997, Kaiser, 2004a, as well as the creation of computing clubs with activities about recursion (Gunion et al, 2009a). Others have emphasised the duality between recursive programming and mathematical induction (Peelle, 1976, Ford, 1984, Leron and Zazkis, 1986, Anderson, 1992, Brandt and Richey, 2004, Polycarpou, 2006, which may be used as means to a transfer of skills from secondary mathematics, as is, into college informatics. Even a reverse transfer of skills, from recursive programming to problem solving in mathematics, has been envisaged by Hausmann (1985).…”