Омельчук Людмила Леонідівна. Аксіоматичні системи специфікацій програм над номінативними даними : дис... канд. фіз.-мат. наук: 01.05.01 / Київський національний ун-т ім. Тараса Шевченка. — К., 2007. — 142арк. : рис. — Бібліогр.: арк. 125-134.