Перепелиця Іван Дмитрович. Моделі та методи статичного аналізу асинхронних систем обробки інформації.- Дисертація канд. техн. наук: 01.05.02, Харк. нац. ун-т ім. В. Н. Каразіна. - Х., 2012.- 200 с. : рис.