И.Б.Бурдонов. Теория конформности для функционального тестирования программных систем на основе формальных моделей. Автореферат диссертации на соискание учёной степени д.ф.-м.н., Москва, 2008. 60 стр. doc, pdf, доклад: ppt