Graham-CummingS91'

BibTeX

@inproceedings{DBLP:conf/csfw/Graham-CummingS91,
  author    = {John Graham-Cumming and
               Jeff W. Sanders},
  title     = {On the Refinement of Non-Interference},
  booktitle = {CSFW},
  year      = {1991},
  pages     = {35-42},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}