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