Безверха, М. А.     Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS [Текст] / М.А. Безверха, П.П. Процик // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2010. — №3. — с.340-348.