Jerry H. Tucker Moiez A. Tapia A. Wayne Bennett Boolean Integral Calculus for Digital Systems. 78-81 1985 34 IEEE Trans. Computers 1 db/journals/tc/tc34.html#TuckerTB85