Özalp Babaoglu Fault-Tolerant Computing Based on Mach. 185-199 1990 conf/mach/1990 USENIX MACH Symposium db/conf/mach/mach1990.html#Babaoglu90