  Besides the <a href="http://www.cs.utexas.edu/users/psp/notesunity.html">notes on UNITY</a> series and the  <a href="http://www.cs.utexas.edu/users/psp/newunity.html">New UNITY</a> manuscript, the following files might relevant to people who are interested in the UNITY formalism.<p>
