Alexander Tuzhilin, Paul G. Spirakis. A Semantic Approach to Correctness of Concurrent Transaction Executions. In Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon. pages 85-95, ACM, 1985. [doi]
Abstract is missing.