1. S. Abramsky. Strictness analysis and polymorphic invariance. In Proc. Programs as Data Objects, volume 217 of Lecture Notes on Computer Science. Springer Verlag, 1986.
2. F.E. Allen. Interprocedural data flow analysis. In Information Processing
74, pages 398–402. North-Holland Pub. Co., 1974.
3. V. Balasundaram and K. Kennedy. A technique for summarizing data access and its use in parallelism enhancing transformations. In SIGPLAN’89 Conference on Programming Language Design and Implementation, volume 24(7) of Sigplan Notices, pages 41–53, June 1989.
4. J.P. Banning. A Method for Determining the Side Effects of Procedure Calls. PhD thesis, Stanford University, Stanford Linear Accelerator Center, August 1978.
5. G. Birkhoff. Lattice Theory., volume XXV. AMS Colloquium Publications, 1979.