Раков, В. И.     Формальный аппарат синтеза средств логического управления [Текст] / Орловский государственный технический университет, Россия // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2009. — С. 6-9.