1. Lecture Notes in Computer Science;G. Amato,2013
2. Amato, G., Scozzari, F., Seidl, H., Apinis, K., Vojdani, V.: Efficiently intertwining widening and narrowing. ArXiv e-prints, 1503.00883 (2015)
3. Apinis, K., Seidl, H., Vojdani, V.: How to combine widening and narrowing for non-monotonic systems of equations. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, pp. 377–386. ACM, New York (2013)
4. Lecture Notes in Computer Science;A. Costan,2005
5. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, pp. 106–130, Paris, France, Dunod (1976)