How to Design Programs
8.2

How to Design Programs

See the book’s web site.