Бабенко, Л. П.     Как понять программу. Характеристичный анализ современных подходов к спецификации программ [Текст] / Л.П. Бабенко // Кибернетика и системный анализ : Международный научно-теоретический журнал. — К. : Институт кибернетики НАН Украины, 2012. — №2. — с.140-150.