"Fine-grained interoperability through mirrors and contracts."

Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics