Gluz, João, Tânia Cabral, Paulo Baggio, and Paulo Livi. " Helping students of introductory calculus classes: the Leibniz pedagogical agent." Anais do I Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, Pelotas/RS, 2007. SBC, 2007, pp.51-64.