The paper in Appendix C is available at http://eprints.bham.ac.uk/34/