@inproceedings {269075, author = {Muthian Sivathanu, Google Inc. and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Somesh Jha}, title = {A Logic of File Systems}, booktitle = {4th USENIX Conference on File and Storage Technologies (FAST 05)}, year = {2005}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/fast-05/logic-file-systems}, publisher = {USENIX Association}, month = dec }