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