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