1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, Chapter 1, pp. 1–168. Clarendon Press, Oxford, UK (1994)
2. Bagnara, R.: A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Sci. Comput. Program. 30(1–2), 119–155 (1998)
3. Bagnara, R., Hill, P.M., Mazzi, E., Zaffanella, E.: Widening operators for weakly-relational numeric abstractions. In: Hankin, C., Silveroni, I. (eds.) Static Analysis: Proceedings of the 12th International Symposium, London, UK. Lecture Notes in Computer Science, vol. 3672, pp. 3–18. Springer-Verlag, Berlin Heidelberg New York (2005)
4. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: The Parma Polyhedra Library User’s Manual. Department of Mathematics, University of Parma, Parma, Italy, release 0.5 edition, April 2003. http://www.cs.unipr.it/ppl/
5. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. In: Cousot, R. (ed.) Static Analysis: Proceedings of the 10th International Symposium, San Diego, California, USA. Lecture Notes in Computer Science, vol. 2694, pp. 337–354. Springer-Verlag, Berlin Heidelberg New York (2003)