1. Gamma, E., Helm, R., Johnson, R., and Vlissides, J., Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1994.
2. Kondratyev, D.A. and Promsky, A.V., Complex approach to error localization at C-program verification, Sist. Inform., 2013, no. 1, pp. 79–96.
3. Nepomnyaschy, V.A., Anureev, I.S., Mikhaylov, I.N., and Promsky, A.V., C-light language oriented on verification, in Sistemnaya informatika: Sbornik nauchnykh trudov. Vyp. 9: Formalnye metody i modeli informatiki (System Informatics: Coll. Sci. Papers. Part. 9. Formal Methods and Models of Informatics), Novosibirsk: Sibir. Otd. Ross. Akad. Nauk, 2004, pp. 51–134.
4. Anureev, I.S., Maryasov, I.V., and Nepomniaschy, V.A., C-programs verification based on mixed axiomatic semantics, Autom. Control Compt. Sci., 2011, vol. 45, pp. 485–500.
5. Anureev, I., Maryasov, I., and Nepomniaschy, V., Revised mixed axiomatic semantics method of C program verification, Proc. 3rd Workshop “PSSV: Theory and Applications” Nizhni Novgorod, 2012, pp. 16–23.