Anindya Banerjee David A. Naumann Stan Rosenberg Towards a logical account of declassification. 61-66 2007 PLAS http://doi.acm.org/10.1145/1255329.1255340 conf/pldi/2007plas db/conf/pldi/plas2007.html#BanerjeeNR07