M. S. de Oliveira e F. S. Silva, “The formalization of the concept of Functions Defined by More than One Sentence in Mathematics textbooks”, RIPEM, vol. 13, nº 2, p. 1–18, ago. 2023, doi: 10.37001/ripem.v13i2.3595.