10141<>369_2<>e. f. assmus jr.<>error-correcting codes: an axiomatic approach<>iandc<>h. f. mattson jr.<>
11264<>4800_7<>nulo<>experiments with a heuristic compiler<>jacm<>herbert a. simon<>
11404<>6227_3<>michael o. rabin<>words in the history of a turing machine with a fixed input<>jacm<>hao wang<>
7950<>6287_8<>h. f. mattson jr.<>error-correcting codes: an axiomatic approach<>iandc<>e. f. assmus jr.<>
