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.