Model funktsionirovaniya raspredelennykh vychislitelnykh sistem // Vestn. Mosk. un-ta, ser. 15: Vychisl. matem. i kibern., 1990, # 3, c. 3–21.
Ob invariante povedeniya programm // Vestn. Mosk. un-ta, ser. 15: Vychisl. matem. i kibern., 1990, # 4, c. 54–60.
DYANA: An Evironment for Embedded System Design and Analysis // Proc. of 5-th International Conference TACAS'99, Amsterdam, Netherlands, March 22–28, 1999, Springer (LNCS v. 1579), pp. 390–404 (soavt. Bakhmurov A., Kapitonova A.).
Metod i sredstva otsenki vremeni vypolneniya optimizirovannykh programm // Programmirovanie, 1999, # 5, c. 52–61 (soavt. Balashov V. V. i dr.).
ISTINA
