Oliveira, M. S. de; Silva, F. S. The Formalization of the Concept of Functions Defined by More Than One Sentence in Mathematics Textbooks. RIPEM 2023, 13, 1-18.