Vashudha Krishnaswamy John L. Bruno On the Complexity of Concurrency Control Using Semantic Information Acta Inf. 32 3 1995 271-284 db/journals/acta/acta32.html#KrishnaswamyB95