Lima, P. R. de. A Contagem Como Uma bijeção: Transição Entre Os Aspectos Intuitivos E O Enunciado Formal. C. Q. D. 2013, 2.