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