Andersen, H. M.; Schultz, U. P. Declarative Specialization for Object-Oriented-Program Specialization. DPB 2004, 33.