Enumeration of Threshold Functions of Eight Variables. - Saburo Muroga; Teiichi Tsuboi; Charles R. Baugh (IEEE Trans. Computers, 1970)