Чеботарев, А. Н.     Согласование спецификаций автоматов, представленных в языке L [Текст] / А.Н. Чеботарев // Кибернетика и системный анализ : Международный научно-теоретический журнал. — К. : Институт кибернетики НАН Украины, 2016. — №3. — с.3-15.