Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms. - Ray Ford; Jim Calhoun (PODS, 1984)