Коваль Галина Іванівна. Моделі і методи інженерної якості програмних систем на ранніх стадіях життєвого циклу : дис... канд. фіз.-мат. наук: 01.05.03 / НАН України; Інститут кібернетики ім. В.М.Глушкова. - К., 2005.