Шкільняк, C. (2019). Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Шкільняк, C.С. Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності. Інститут програмних систем НАН України, 2019.
Стиль цитування MLA (8-ме видання)Шкільняк, C.С. Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності. Інститут програмних систем НАН України, 2019.
Попередження: стилі цитування не завжди правильні на всі 100%.