"The Enforcement of Security Policies for Computation."

Anita K. Jones, Richard J. Lipton (1975)
a service of Schloss Dagstuhl - Leibniz Center for Informatics