On the Size of Weights Required for Linear-Input Switching Functions. - J. Myhill; William H. Kautz (IRE Trans. Electron. Comput., 1961)

Choice Implies Excluded Middle. - N. Goodman; J. Myhill (Math. Log. Q., 1978)