"Multiple facets for dynamic information flow."

Thomas H. Austin, Cormac Flanagan (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics