"Static Slicing and Parametric Polymorphism."

David Byers, Mariam Kamkar (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics