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