"On the Correctness of a Local Storage Subsystem."

Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics