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.
8Crawley, E. F., Malmqvist, J., Ostlund, S., & Brodeur, D. R., Rethinking Engineering Education: The CDIO Approach, Springer, New York, 2007, p2,694,51,257.
9Ericsson, K.A. 2006.. An Introduction to Cambridge Handbook of expertise and Expert Performance: Its Development,Organization, and Content. In The Cambridge Handbook of Expertise and Performance. edited by Ed. Ericsson, K.A., N. Charness, P. J. Feltovich, R.R. Hoffman, Cambridge University Press, Cambridge, U.K., Chapter 1, p3-19,3,689.
10Connell, M.W., K. Sheridan, and H. Gardner. 2003. On Abilities and Domains. In The Psychology of Abilities, Competencies, and Expertise, edited by R.J. Stemberg and E.L. Grigorenko, Cambridge University Press, Cambridge, U.K., Chapter 5, p126 - 155.
