@InProceedings{SivathanuEtAl05-Logic,
           title = "{A Logic of File Systems}",
          author = "Muthian Sivathanu and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Somesh Jha",
       booktitle = "Proceedings of the Fourth USENIX Symposium on File and Storage Technologies (FAST '05)",
           month = "December",
            year = "2005",
         address = "San Francisco, CA",
}