@inproceedings{Abe_and_Simpson_2016,
  title = "Formal Models for Privacy",
  author = "Alan Abe and Andrew Simpson",
  year = "2016",
  booktitle = "Proceedings of the 9th International  Workshop on Privacy and Anonymity in the Information Society (PAIS 2016)",
}