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