 <A HREF="http://www.cs.utexas.edu/users/lam/NRL/protocol_theory.html"> <b>Protocol theory</b></a>  </ul>
