Luiz Eduardo Buzato A. Calsavara Stabilis: A Case Study in Writing Fault-Tolerant Distributed Applications Using Persistent Objects. 354-375 1992 POS db/conf/pos/pos92.html#BuzatoC92 POS/1992/P354.pdf