1. Roland C. Backhouse, “Program Construction and Verification,” Prentice-Hall, 19861Roland C. Backhouse, “Program Construction and Verification,” Prentice-Hall, 1986
2. David Gries, “The Science of Programming,” Springer-Verlag, 19822David Gries, “The Science of Programming,” Springer-Verlag, 1982
3. John Barnes, “High Integrity Software, The SPARK Approach to Safetyand Security,” Addison-Wesley 20033John Barnes, “High Integrity Software, The SPARK Approach to Safetyand Security,” Addison-Wesley 2003
4. S. King, J. Hammond, R. Chapman, A. Pryor, “Is Proof More Cost-Effective Than Testing?” IEEE Transactions on Software Engineering, Vol, 26, No, 8, August 2000, p, 675-686,4S. King, J. Hammond, R. Chapman, A. Pryor, “Is Proof More Cost-Effective Than Testing?” IEEE Transactions on Software Engineering, Vol, 26, No, 8, August 2000, p, 675-686,
5. H. Mills, “The New Math of Computer Programming,” CACM , v, 18, Jan 1975, p, 43-48,5H. Mills, “The New Math of Computer Programming,” CACM , v, 18, Jan 1975, p, 43-48,