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