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