Letichevsky, A., Letychevskyi, О., Peschanenko, V., & Guba, A. (2013). Deductive verification of requirements for event-driven architecture. Проблеми програмування.
Chicago-Zitierstil (17. Ausg.)Letichevsky, A., О Letychevskyi, V. Peschanenko, und A. Guba. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування 2013.
MLA-Zitierstil (8. Ausg.)Letichevsky, A., et al. "Deductive Verification of Requirements for Event-driven Architecture." Проблеми програмування, 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.