@article{WhiteheadII2011,
  title = "{A CSP Model of a Process-Oriented File System}",
  author = "{Whitehead II}, James and Gibson-Robinson, Thomas",
  year = "2011",
  journal = "Department of Computer Science Student Conference 2011",
  pages = "16--17",
  url = "http://www.cs.ox.ac.uk/files/4448/proceedings-2011.pdf\#page=24",
}