Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman. On the Correctness of a Local Storage Subsystem. In Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon. pages 123-134, ACM, 1985. [doi]
Abstract is missing.