1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)
2. Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.: Safari: SMT-based abstraction for arrays with interpolants. In: 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA. Springer, Berlin (2012)
3. Aristotle Research Group, Georgia Institute of Technology. TCAS (1994). Available at http://www.cc.gatech.edu/aristotle/Tools/subjects
4. LNCS;A. Armando,2004
5. ENTCS;A. Armando,2005