Guan, Zhigang (1995) A study of arithmetic circuits and the effect of utilising Reed-Muller techniques. PhD thesis, Edinburgh Napier University.