Годлевский, А. Б.     Методика разработки и средства формализации функциональных спецификаций систем и устройств [Текст] / А.Б. Годлевский, И.М. Мищенко, М.К. Мороховец // Кибернетика и системный анализ : Международный научно-теоретический журнал. — К. : Институт кибернетики НАН Украины, 2016. — №5. — с.25-42.