Россада Тетяна Володимирівна. Формалізація, дослідження та застосування методів номінації у мовах специфікації програм.- Дисертація канд. фіз.-мат. наук: 01.05.01, Київ. нац. ун-т ім. Тараса Шевченка. - К., 2013.- 180 с. : рис.