Amtoft, Torben. “Partial Evaluation for Constraint-Based Program Analyses”. BRICS Report Series 6, no. 45 (December 15, 1999). Accessed April 10, 2021. https://tidsskrift.dk/brics/article/view/20115.