1. Maraia, V., The Build Master: Microsoft’s Software Configuration Management Best Practices, Addison-Wesley Professional, 2005.
2. Robles, G., Debian Counting. http://libresoft.dat.escet.urjc.es/debian-counting/ .
3. McConnell, S., Code Complete, Microsoft Press, 2004.
4. Kulyamin, V.V., Software Verification Methods, Vserossiiskii konkurs obzorno-analiticheskikh statei po prioritetnomu napravleniyu “Informatsionno-telekomunikatsionnye sistemy” (All-Russian Competition of Analytic Survey Papers on Priority Direction “Information-Telecomunication System”) 2008. http://window.edu.ru/window/library?p_rid=56168 .
5. Detlefs, D.L., Leino, K.R.M., Nelson, G., and Saxe J.B., Extended Static Checking, Tech. Report SRC-RR-159, Digital Equipment Corporation, Systems Research Center, 1998.