Безверха, М., & Процик, П. (2010). Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України.
Чикаго стиль цитування (17-те видання)Безверха, М.А, та П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
Стиль цитування MLA (8-ме видання)Безверха, М.А, та П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
Попередження: стилі цитування не завжди правильні на всі 100%.