«ІНФОРМАЦІЙНО-МЕТОДИЧНЕ ЗАБЕЗПЕЧЕННЯ КУРСУ ‘МАТЕМАТИЧНА ЛОГІКА ТА ТЕОРІЯ АЛГОРИТМІВ’», ITE, вип. 6, с. 123–129, Трав 2010, doi: 10.14308/ite000156.