@conference {119,
	title = {Formal Modelling of (De)Pseudonymisation: A Case Study in Health Care Privacy},
	booktitle = {Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers},
	year = {2012},
	publisher = {Springer},
	organization = {Springer},
	author = {Meilof Veeningen and Benne de Weger and Nicola Zannone},
	editor = {Audun J{\o}sang and Pierangela Samarati and Marinella Petrocchi}
}