This is a dissertation.  The output can be found here:  Copyright (c) Colin Odden 2014.  Text and figures are licensed under the Creative Commons Attribution 3.0 Unported License. Source code is licensed under the BSD license (see LICENSE.txt).