Andersen, H. M. and Schultz, U. P. (2004) “Declarative Specialization for Object-Oriented-Program Specialization”, DAIMI Report Series, 33(569). doi: 10.7146/dpb.v33i569.7126.