@book{
Pardo Jimenez2017,
author={Pardo Jimenez, Raul},
title={Privacy Policies for Social Networks - A Formal Approach},
isbn={978-91-7597-631-0},
publisher={Department of Computer Science and Engineering, Formal methods (Chalmers), Chalmers University of Technology,},
place={Gothenburg},
year={2017},
series={Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie, no: 4312},
}