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

Колчин, А. (2008). Разработка инструментальных средств для проверки формальных моделей. Інститут програмних систем НАН України.

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

Колчин, А.В. Разработка инструментальных средств для проверки формальных моделей. Інститут програмних систем НАН України, 2008.

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

Колчин, А.В. Разработка инструментальных средств для проверки формальных моделей. Інститут програмних систем НАН України, 2008.

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