<a href="http://cs-tr.cs.cornell.edu:80/TR/CORNELLCS:TR95-1505">Protocol Composition in Horus</a>. <li>
