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