P. R. de Lima, “A contagem como uma bije¸c˜ao: transi¸c˜ao entre os aspectos intuitivos e o enunciado formal”, C. Q. D., vol. 2, nº 1, jul. 2013.