How to Design Programs
7.3

How to Design Programs

)

See the book’s web site.