1. Lect Notes Comput Sci;D. K. Arvind,1998
2. Lect Notes Comput Sci;M. Benedikt,1999
3. A. Cohen and J.-F. Collard. Applicability of algebraic transductions to data-flow analysis. In Proc. of PACT’98, Paris, France, October 1998.
4. Albert Cohen. Program Analysis and Transformation: From the Polytope Model to Formal Languages. PhD thesis, University of Versailles, 1999.
5. A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond klimiting. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 230–241, New York, NY, 1994. ACM Press.