1. J. Ahn, A differential evaluation of fixpoint iterations, in: Asian Workshop on Prog. Lang. and Syst., 2001
2. Compilers: Principles, Techniques and Tools;Aho,1985
3. G. Balakrishnan, T. Reps, Analyzing memory accesses in x86 executables, in: Int. Conf. on Comp. Construct., 2004
4. Magic sets and other strange ways to implement logic programs;Bancilhon,1986
5. Reachability analysis of pushdown automata: Application to model checking;Bouajjani,1997