Чеботарев, А. Н.     Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке [Текст] / А.Н. Чеботарев // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2009. — сентябрь-октябрь(№5). — С. 3-12.