Chapter 09, 10, 11, 12, 13

Chapter 09: Declaring Types and Classes
Chapter 10: The Countdown Problem
Chapter 11: Lazy Evaluation
Chapter 12: Reasoning about Programs
Chapter 13: Jolly Holiday Presents