Certification of programs for secure information flow (1977)

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