Feitosa, H. de A. e Soares, M.R. 2017. Da dedução para a álgebra. C.Q.D. - Revista Eletrônica Paulista de Matemática. 10, (dez. 2017).