TY  - RPRT
TI  - Formalising Surveillance and Identity
AU  - Victoria Wang
AU  - John V. Tucker
PY  - 2014
UR  - https://arxiv.org/abs/1408.3439
ID  - 1408.3439
ER  -