1. C. E. Shannon, “A symbolic analysis of relay and switching circuits,” Trans. AIEE, 57, 713–723 (1938).
2. O. B. Lupanov, “A circuit synthesis method,” Izv. Vuzov, Radiofizika, 1, No. 1, 120–130 (1958).
3. N. P. Red’kin, “Minimal realization of a binary adder,” Probl. Kibern., Nauka, Moscow, No. 38, (1981), pp. 181–216.
4. A. A. Karatsuba and Yu. P. Ofman, “Multiplication of many-valued numbers by automata,” Dokl. AN SSSR, 145, No. 2, 293–294 (1962).
5. A. Schonhage and V. Strassen, Computing: Archiv für Elektronisches Rechnen, 7, No. 3-4, 281–292 (1971).