1. Бураков В.В. Подход к моделированию и поиску дефектов объектно-ориентированного программного кода // Труды СПИИРАН. 2014. № 31 (8). C. 236-246.