1. King, J.C.: A program verifier. PhD thesis, Carnegie-Mellon University (1969)
2. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial evaluation and automatic program generation. Prentice-Hall, Englewood Cliffs (1993)
3. LNCS,2006
4. Lecture Notes in Artificial Intelligence;B. Beckert,2006
5. Lecture Notes in Computer Science;M. Heisel,1985