Özalp Babaoglu: Fault-Tolerant Computing Based on Mach. ACM SIGOPS Oper. Syst. Rev. 24(1): 27-39 (1990)