e-mail:   virgil@cs.washington.edu <a href="http://www.cs.washington.edu/homes/virgil/">web home</a>: http://www.cs.washington.edu/           homes/virgil/ </pre>
