@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
}
