Richard P. Reitman, Gregory R. Andrews. Certifying Information Flow Properties of Programs: An Axiomatic Approach. In Barry K. Rosen, Alfred V. Aho, Stephen N. Zilles , editors, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming language. pages 283-290, ACM, 1979. [doi]
Abstract is missing.