Richard Allen Lerner Reliable Servers: Design and Implementation in Avalon/C++. 13-21 1988 DPDS db/conf/dpds/dpds88.html#Lerner88