Philippa Gardner, Gian Ntzik, Adam Wright: Local Reasoning for the POSIX File System. ESOP 2014: 169-188