Коновалов И.В., Коновалов В.Н., Белов А.А., Нежельский П.Н. Проблемы автоматизированного синтеза комбинационных схем и конечных автоматов / Труды 5-й Российской научно-технической конференции «Новые информационные технологии в системах связи и управления» (Калуга, 2007). Калуга: ЦНТИ, 2006. Ч. 2. С. 188-190.