Chapter 6 of the CAD2007 tutorial