   <hr> This document: <a href="http://www.cs.washington.edu/homes/vass/Guides/guides.html">*</a>
