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