Alcolea Banegas, J. Razonamientos No Rigurosos Y Demostraciones Asistidas Por Ordenador. Contrastes 2007, 12.