1. S. Abramsky and C. Hankie. An introduction to abstract interppetation, ch. 1. Ellis Horwood, 1987.
2. G.L. Burn, C.L. Hankin, and S. Abramsky. Strictness analysis of higher-order functions. Sci. Comput. Prog., 7:249–278, 1986.
3. P. Cousot. Semantic foundations of program analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, ch. 10, pp. 303–342. Prentice-Hall, 1981.
4. P. Cousot. Design of semantics by abstract interpretation, invited address. In Mathematical Foundations of Programming Semantics, Thirteenth Annual Conference (MFPS XIII), Carnegie Mellon University, Pittsburgh, Pennsylvania, 1997.
5. P. Cousot. Types as abstract interpretations, invited paper. In 24 th POPL, pp. 316–331, Paris, 1997. ACM Press.