  Click <a href= "ftp://cs.washington.edu/pub/constraints/papers/sannella-dissertation"> here</a> to access the directory containing postscript files for the dissertation (one file per chapter).  <P>
