"Security completeness: towards noninterference in composed languages."

Andreas Gampe, Jeffery von Ronne (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics