"On the Synthesis and Analysis of Protection Systems."

Lawrence Snyder (1977)
a service of Schloss Dagstuhl - Leibniz Center for Informatics