BibTex format
@inproceedings{Ntzik:2015:10.1145/2814270.2814306,
author = {Ntzik, G and Gardner, P},
doi = {10.1145/2814270.2814306},
pages = {201--220},
publisher = {ACM},
title = {Reasoning about the POSIX file system: Local update and global pathnames},
url = {http://dx.doi.org/10.1145/2814270.2814306},
year = {2015}
}