A Comparison of non-Interference and Non-Deducibility using CSP

@inproceedings{Allen1991ACO,
  title={A Comparison of non-Interference and Non-Deducibility using CSP},
  author={P. G. Allen},
  booktitle={CSFW},
  year={1991}
}