 <a name="tr890"> Binkley, D., Horwitz, S., and Reps, T.,</a> The multi-procedure equivalence theorem. TR-890, Computer Sciences Department, University of Wisconsin-Madison, November 1989. (Click <A HREF="http://www.cs.wisc.edu/Dienst/UI/2.0/Describe/ncstrl.uwmadison%2fCS-TR-89-890">here</A> to access paper.) <p>
