Бураков, В. В. Подход к моделированию и поиску дефектов объектно-ориентированного программного кода. ТС 2014, 8, 236-246.