Robbert van Renesse Kenneth P. Birman Roy Friedman Mark Hayden David A. Karr A Framework for Protocol Composition in Horus. 80-89 1995 PODC db/conf/podc/podc95.html#RenesseBFHK95