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