Chapter 7 of Reed

Abstraction and User-Defined Functions