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.
8Rethinking Engineering Education-The CDIO Approach [ M ] Edward F Crawley, Johan Malmqvist, Soren Osflund, Doris R . Brodeur ISBN 978 - 0 - 387 - 38287 - 6
9Integration of a Conceive - Design - Implement - Operate ( CDIO ) experience in a sophomore - level aerodynamics course Bhatnagar, Priti (Daniel Webster College); Crowder, Sonja; Mclnnis, Christopher; Hebert, Chad; Guo, David; Bertozzi, Nicholas Source: ASEE Annual Conference and Exposition, Conference Proceedings, 2007 ASEE Annual Conference and Exposition, 2007, 14p