Отпущенников И.В. Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения / И. В. Отпущенников, 2011. - 18 с. - Текст : непосредственный.