Федухин, А., Муха, А., & Сеспедес Гарсия, Н. (2016). Доказательство безопасности компьютерных систем. Математичні машини і системи.
Чикаго стиль цитування (17-те видання)Федухин, А.В, Ар.А Муха, та Н.В Сеспедес Гарсия. "Доказательство безопасности компьютерных систем." Математичні машини і системи 2016.
Стиль цитування MLA (8-ме видання)Федухин, А.В, et al. "Доказательство безопасности компьютерных систем." Математичні машини і системи, 2016.
Попередження: стилі цитування не завжди правильні на всі 100%.