1. Sergei M. Abramov, Metacomputation and program testing. In: 1st International Workshop on Automated and Algorithmic Debugging. (Linköping, Sweden). pp. 121–135, Linköping University 1993.
2. Samson Abramsky and Chris Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
3. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
4. Lect Notes Comput Sci;L. Augustsson,1985
5. L. Beckman et al. A partial evaluator, and its use as a programming tool. Artificial Intelligence, 7(4), pp. 319–357, 1976.