"Ownership transfer in universe types."

Peter Müller, Arsenii Rudich (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics