Robert E. Strom Shaula Yemini Optimistic Recovery in Distributed Systems ACM Trans. Comput. Syst. 3 3 1985 204-226 http://doi.acm.org/10.1145/3959.3962 db/journals/tocs/tocs3.html#StromY85