БУРАКОВ, В. В. Подход к моделированию и поиску дефектов объектно-ориентированного программного кода. Труды СПИИРАН, v. 8, n. 31, p. 236-246, 2 abr. 2014.