Стиль цитування APA (7-ме видання)

Колчин, А. (2012). Оптимизация проверки выполнимости переходов при верификации формальных моделей. Проблеми програмування.

Чикаго стиль цитування (17-те видання)

Колчин, А.В. "Оптимизация проверки выполнимости переходов при верификации формальных моделей." Проблеми програмування 2012.

Стиль цитування MLA (8-ме видання)

Колчин, А.В. "Оптимизация проверки выполнимости переходов при верификации формальных моделей." Проблеми програмування, 2012.

Попередження: стилі цитування не завжди правильні на всі 100%.