Functions and Programs
1.7.1 Defining Functions 1.7.2 Functions as Procedures 1.7.3 Repetitive Operations 1.7.4 Transformation Rules for Functions