@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}, }