T. Amtoft, “Partial Evaluation for Constraint-Based Program Analyses”, BRICS, bd. 6, nr. 45, dec. 1999.