"Type-Check Elimination: Two Object-Oriented Reengineering Patterns."

Stéphane Ducasse, Tamar Richner, Robb Nebbe (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics