6P. 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.
7Tony Hoare, Jifeng He, Unified Theories of Programming, Springer, January 1997.
8[1]"Innovation:Is Global the Way Forward?",A joint study by Booz Allen Hamilton and INSEAD
9[2]China's looming talent shortage,The Mckinsey Quarterly:The online journal of Mckinsey & Co.,http://www.mckimeyqtumedy.com/article-print.aspx?L2=18&L3=31&ar=1685
