Безверха, М., & Процик, П. (2010). Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України.
Chicago-Zitierstil (17. Ausg.)Безверха, М.А, und П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
MLA-Zitierstil (8. Ausg.)Безверха, М.А, und П.П Процик. Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS. Інститут програмних систем НАН України, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.