H. M. Andersen and U. P. Schultz, “Declarative Specialization for Object-Oriented-Program Specialization”, DPB, vol. 33, no. 569, May 2004.