Бураков, Вадим Витальевич. Подход к моделированию и поиску дефектов объектно-ориентированного программного кода. Труды СПИИРАН 8, no. 31 (апрель 2, 2014): 236-246. просмотрено ноябрь 21, 2024. https://ia.spcras.ru/index.php/sp/article/view/1789.