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