Chapter 8 of the CAD2007 tutorial