 My current research project, Seuss, has an <a href="http://www.cs.utexas.edu/users/psp/seuss-overview.html">overview</a> and a <a href="ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z">postscript version</a> accessible from here.
