Lima, P.R. de 2013. A contagem como uma bije¸c˜ao: transi¸c˜ao entre os aspectos intuitivos e o enunciado formal. C.Q.D. - Revista Eletrônica Paulista de Matemática. 2, 1 (jul. 2013).