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