Saburo Muroga Yahiko Kambayashi Hung Chi Lai Jay Niel Culliney The Transduction Method-Design of Logic Networks Based on Permissible Functions. 1404-1424 1989 38 IEEE Trans. Computers 10 db/journals/tc/tc38.html#MurogaKLC89