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