Крывый, С. Л.     Формальные методы анализа дискретных систем с использованием языка спецификаций [Текст] / С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2009. — июль-август (№4). — С. 31-48.