David Powell, Marc Chérèque, David Drackley: Fault-Tolerance in Delta-4. ACM SIGOPS Oper. Syst. Rev. 25(2): 122-125 (1991)