Letichevsky, A., Letychevskyi, О., Peschanenko, V., & Guba, A. (2013). Deductive verification of requirements for event-driven architecture. Проблеми програмування.
Чикаго стиль цитування (17-те видання)Letichevsky, A., О Letychevskyi, V. Peschanenko, та A. Guba. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування 2013.
Стиль цитування MLA (8-ме видання)Letichevsky, A., et al. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування, 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.