"Establishing object invariants with delayed types."

Manuel Fähndrich, Songtao Xia (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics