Tso-Kai Liu Synthesis Algorithm for 2-level MOS Networks. 72-79 1975 24 IEEE Trans. Computers 1 db/journals/tc/tc24.html#Liu75