Amtoft, T. (1999) “Partial Evaluation for Constraint-Based Program Analyses”, BRICS Report Series, 6(45). doi: 10.7146/brics.v6i45.20115.