Крывый, С., & Чугаенко, А. (2009). Формальные методы анализа дискретных систем с использованием языка спецификаций. Кибернетика и системный анализ.
Чикаго стиль цитування (17-те видання)Крывый, С.Л, та А.В Чугаенко. "Формальные методы анализа дискретных систем с использованием языка спецификаций." Кибернетика и системный анализ 2009.
Стиль цитування MLA (8-ме видання)Крывый, С.Л, та А.В Чугаенко. "Формальные методы анализа дискретных систем с использованием языка спецификаций." Кибернетика и системный анализ, 2009.
Попередження: стилі цитування не завжди правильні на всі 100%.