Feitosa, H. de A.; Soares, M. R. Da dedução Para a álgebra. C. Q. D. 2017, 10.