http://www.cs.cornell.edu/Info/Projects/HORUS/HOT/hot.html
This document is a part of the online Horus Documentation, under Horus APIs.
This document contains a description of the Horus Object Tools (HOT), which implement Abstract Data Types for MUTS objects, Horus group members, and clients/servers with intergated state transfer.