Синтез логических сетей для реализации классов булевых матриц с данным числом угловых клеток И. Гаверлик — 1982 Banach Center Publications