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