Text this: A formação de formadores e a integração do computador na licenciatura de matemática