Chapter 7 of the Dinasour book, except section 7.5.3 and section 7.6.2.