L. Biscaino, W. . Vieira, R. S. Imafuku, and E. F. M. Pereira, “The interaction of algorithm, intuitive and formal aspects in the solution of questions concerning areas and perimeters”, Rev. Bra. Edu. Ciê. Edu. Mat., vol. 6, no. 3, pp. 344–365, Dec. 2022.