The number of bits in a product of odd integers
1979 ◽
pp. 283-293