1. H. Agrawal, J.R. Horgan, Dynamic program slicing, in: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, New York, ACM Press, 1990, pp. 246–256.
2. A.V. Aho, R. Sethi, J.D. Ullmann, Compilers: Principles, Techniques and Tools, Addison-Wesley, Reading, MA, 1986.
3. D. Bjørner, A.P. Ershov, N.D. Jones, Partial Evaluation and Mixed Computation, North-Holland, Amsterdam, 1987.
4. R.S. Boyer, J.S. Moore, A Computational Logic, Academic Press, New York, 1979.
5. Towards a theory of the comprehension of computer programs;Brooks;International Journal of Man–Machines Studies,1983