Mason, J. .; Oliveira, H.; Boavida, A. M. Reasoning Reasonably in Mathematics. Quadrante 2012, 21, 165-196.