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