Подход к моделированию и поиску дефектов объектно-ориентированного программного кода - Бураков, Вадим Витальевич (Труды СПИИРАН, 2014)