Papanikolaou, Nikolaos K., 1982-, Creese, Sadie and Goldsmith, M. (Michael). (2012) Refinement checking for privacy policies. Science of Computer Programming, Volume 77 (Number 10-11). pp. 1198-1209. ISSN 0167-6423

Agrafiotis, Ioannis, Creese, Sadie, Goldsmith, Michael and Papanikolaou, Nick. (2011) Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. Privacy and Identity Management for Life, Vol. 352 . pp. 271-282. ISSN 1868-4238