<A HREF="http://www.cs.washington.edu/research/projects/cecil/www/Release/vortex/wmwork/www/vortex_1.html">How to Use the Vortex Compiler</A> (<A HREF="http://www.cs.washington.edu/research/projects/cecil/www/Release/vortex/vortex.ps">postscript</A> version)  <li>
