Литвинов, В., & Богдан, И. (2013). Формальная верификация диаграммы классов. Математичні машини і системи.
Чикаго стиль цитування (17-те видання)Литвинов, В.В, та И.В Богдан. "Формальная верификация диаграммы классов." Математичні машини і системи 2013.
Стиль цитування MLA (8-ме видання)Литвинов, В.В, та И.В Богдан. "Формальная верификация диаграммы классов." Математичні машини і системи, 2013.
Попередження: стилі цитування не завжди правильні на всі 100%.