<a href="http://www.cs.cornell.edu/Info/People/rvr/papers/podc/podc.html">A Framework for Protocol Composition in Horus</a>. <li>
