Thomas P. Murtagh. Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs. In ICDCS. pages 494-499, 1986.
@inproceedings{Murtagh86, title = {Eliminating Proofs of Non-interference from Levin-Gries CSP Program Proofs}, author = {Thomas P. Murtagh}, year = {1986}, researchr = {https://researchr.org/publication/Murtagh86}, cites = {0}, citedby = {0}, pages = {494-499}, booktitle = {ICDCS}, }