Certification of programs for secure information flow. (1977)

by D E Denning, P J Denning
Venue:Comm. of the ACM,