"A semantic approach to secure information flow."

Rajeev Joshi, K. Rustan M. Leino (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics