Шкільняк, О. С.     Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня [Текст] / О.С. Шкільняк // Проблеми програмування : Науковий журнал. — К. : Інститут програмних систем НАН України, 2011. — №1. — с.17-28.