Hugo L. Jonker Sjouke Mauw Jun Pang A formal framework for quantifying voter-controlled privacy. 89-105 2009 64 J. Algorithms 2-3 http://dx.doi.org/10.1016/j.jalgor.2009.02.007 db/journals/jal/jal64.html#JonkerMP09