Chapter 5, Section
5.1.2 Carrying configuration all over the program with Reader, p. 139
A computation in the context of the Reader monad, code example on top of the page should mention
verbose instead of
when verbose beVerbose.
Chapter 11, Section
11.5.2 Use cases, p. 383
Figure 11.3 is mislabeled, should be Figure 11.4
Chapter 13, Section
13.2.4 Example: Safe interface for elevators, p. 463
Floors and proofs, Grey box
The proof strategy, in bulleted list,
1 is a different font than subsequent numbers.