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

Максимец, А. (2013). Верификация программ: состояние, проблемы, экспериментальные результаты. I. Проблеми програмування.

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

Максимец, А.Н. "Верификация программ: состояние, проблемы, экспериментальные результаты. I." Проблеми програмування 2013.

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

Максимец, А.Н. "Верификация программ: состояние, проблемы, экспериментальные результаты. I." Проблеми програмування, 2013.

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