T. Amtoft, “Partial Evaluation for Constraint-Based Program Analyses”, BRICS, vol. 6, no. 45, Dec. 1999.