Заболотная, А. С.     Метод трансляции LSD-спецификаций с помощью сетей Петри высокого уровня [Текст] / А.С. Заболотная // Управляющие системы и машины  : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 55-65.