1. Beyer, D., Henzinger, T.A., Majumdar, R., Rybalchenko, A.: Path invariants. In: Proc. PLDI, pp. 300–309. ACM Press, New York (2007)
2. Lecture Notes in Computer Science;M. Colón,2003
3. Floyd, R.W.: Assigning meanings to programs. In: Mathematical Aspects of Computer Science. AMS (1967)
4. Lecture Notes in Computer Science;A. Gupta,2009
5. Gupta, A., Rybalchenko, A.: InvGen: an efficient invariant generator,
http://www.mpi-sws.org/~agupta/invgen/