@article{GM10,
   author = {R. Giacobazzi and I. Mastroeni},
   title = {A Proof System for Abstract Non-Interference},
   journal = {Journal of Logic and Computation},
   year = {2010},
   volume = {20},
   doi = {10.1093/logcom/exp053},
   pages = {449-479}
}