J. Alcolea Banegas, «Razonamientos no rigurosos y demostraciones asistidas por ordenador», Contrastes, vol. 12, feb. 2007.