Michael Sannella, <a href="http://www.cs.washington.edu/research/projects/weird/www/sannella-phd.html"> "Constraint Satisfaction and Debugging for Interactive User Interfaces"</a>, PhD dissertation, August 1994.  Revised version published as UW Tech Report 94-09-10.  <LI>
