Sung Je Hong Saburo Muroga Absolute Minimization of Completely Specified Switching Functions. 53-65 1991 40 IEEE Trans. Computers 1 db/journals/tc/tc40.html#HongM91