Some Completeness Results in the Mathematical Theory of Computation.
Computers Then and Now.
Solution of Integer Linear Programming Problems by Direct Search.
PL360, a Programming Language for the 360 Computers.
Numerical Inversion of Laplace Transforms by Relating Them to the Finite Fourier Cosine Transform.
Statistical Estimation of the Numerical Solution of a Fredholm Integral Equation of the First Kind.
Structure and Transition-Preserving Functions of Finite Automata.
A Permutation Network.
Computer Evaluation of Indexing and Text Processing.
Experiments With a Multipurpose, Theorem-Proving Heuristic Program.