Muthian Sivathanu Andrea C. Arpaci-Dusseau Remzi H. Arpaci-Dusseau Somesh Jha A Logic of File Systems. 2005 conf/fast/2005 FAST http://www.usenix.org/events/fast05/tech/sivathanu_logic.html db/conf/fast/fast2005.html#SivathanuAAJ05