H. de A. Feitosa e M. R. Soares, “Da dedução para a álgebra”, C. Q. D., vol. 10, dez. 2017.