@inproceedings{gm04csl,
        author = {R. Giacobazzi and I. Mastroeni},
        title = {Proving abstract non-interference},
        booktitle = {Annual Conference of the European Association for Computer Science Logic (CSL'04).},
        volume = {3210},
        series = {Lecture Notes in Computer Science},
        publisher = {Springer-Verlag},
        pages = {280-294},
        year = 2004}