5P. Cousot and R. Cousot, The Verification Grand Challenge and Abstract Interpretation, In Verified Software: Tools, Theories, Experiments, LNCS 4171, Springer-Verlag, Berlin, pp. 227-240.
6Tony Hoare, Jifeng He, Unified Theories of Programming, Springer, January 1997.