CHAPTER 0: read everything except
  grouped statements (pp. 25-26)
  section 0.4 Modules (pp. 36-42)

CHAPTER 1: read everything except
  Coarse programs (pp. 139-144)
  auxiliary program variables (pp. 144-152)

CHAPTER 2: read everything except
  extended assertion languages (pp. 223-226)

CHAPTER 3: read everything except
  section 3.4 Resource Allocation (pp. 280-287)
  section 3.5 Completeness (pp. 288-296)
  section 3.6 Finite State (pp. 297-307)

CHAPTER 4: skip this chapter

CHAPTER 5: read entire chapter (no past operators)