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