Бибило П. Н., Кардаш С. Н., Романов В. И. СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ // Информатика. 2006 №4(12). С.79-87.