1. Abelson and Sussman, Structure and Interpretation of Computer Programs, MIT Press (1985).
2. J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren, “Conversion of Control Dependence to Data Dependence,” POPL83, ACM (1983).
3. A. J. Bernstein, “Analysis of Programs for Parallel Processing,” IEEE Trans. on Elec. Comp. 15, pp.757–763 (October 1966).
4. G. Cousineau, “The ML Handbook,” (draft INRIA) (Mai 1985).
5. P. Cousot, Methodes Iteratives de Construction de Points Fixes d'Operateurs Monotones sur un Treillis, Analyse Semantique des Programmes, U.S.M.G, Grenoble (1978).