Chapter 7 - Specifying an Algorithm