Concurrency control in resilient objects - Birman, Kenneth P.; Joseph, Thomas A.; Räuchle, Thomas (Cornell University <Ithaca, NY> / Dep. of Computer Science: Technical report, 1984)