Certifying information flow properties of programs: An axiomatic approach (1979)

by Gregory R Andrews, Richard P Reitman
Venue:In Conference Record of the Sixth Annual ACM Symposium on the Principles of Programming Languages