A. Tosser D. Dubus Algebraic Optimisation of NAND-NOR Switching Circuits. 73-77 1977 20 Comput. J. 1 db/journals/cj/cj20.html#TosserD77