"Controlling the What and Where of Declassification in Language-Based Security."

Heiko Mantel, Alexander Reinhard (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics