TY  - RPRT
TI  - Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications
AU  - Mário S. Alvim
PY  - 2012
UR  - https://arxiv.org/abs/1111.3013
ID  - 1111.3013
ER  -