  See <a href="http://www.cs.utexas.edu/users/psp/unity.html">further UNITY references</a> for references to other papers and implementations.<p>
