Concurrency control for dynamic data structures and fault tolerance - Manber, Udi (1983)