1. Bourdonov, I.B. and Kossatchev, A.S., Formalization of a test experiment — II, Program. Comput. Software, 2013, vol. 39, no. 4, pp. 163–181.
2. Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of test experiments, Program. Comput. Software, 2007, vol. 33, no. 5, pp. 239–260.
3. 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.
4. Bourdonov, I.B. and Kossatchev, A.S., Systems with priorities: Conformance, testing, and composition, Tr. Inst. Syst. Program., 2008, no. 14.1.
5. Bourdonov, I.B. and Kossatchev, A.S., Systems with priorities: Conformance, testing, and composition, Program. Comput. Software, vol. 35, no. 4, pp. 198–211].