1. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of test experiments, Programmirovanie, 2007, no. 5, pp. 3–32 [Program. Comput. Software (Engl. Transl.), vol. 33, no. 5, pp. 239–260].
2. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Teoriya sootvetstviya dlya sistem s blokirovkami i razrusheniem (Conformance Theory for Systems with Blockings and Destruction), Moscow: Nauka, 2008.
3. Bourdonov, I.B., and Kossatchev, A.S., Systems with priorities: Conformance, testing, and composition, Tr. Inst. Syst. Program, 2008, no. 14.1.
4. Bourdonov, I.B., and Kossatchev, A.S., Systems with priorities: Conformance, testing, and composition, Programmirovanie, 2009, no. 4, pp. 24–40 [Program. Comput. Software (Engl. Transl.), vol. 35, no. 4, pp. 198–211].
5. Bourdonov, I.B., Teoriya konformnosti (Funktsional’noe testirovanie programmnykh system na osnove formal’nykh modelei) (Conformance Theory: Functional Testing of Software Systems on the Basis of Formal Models), Saarbrucken: LAP LAMBERT Academic Publ., 2011.