Some Mathematical Considerations of Time-Sharing Scheduling Algorithms.
Corrigendum: "On the Boolean Matrix Equation M...".
A Test for Instability in the Numerical Solution of Ordinary Differential Equations.
Note Concerning the Algebraic Theory of Automata.
On the Numerical Solution of a Quasi-Linear Elliptic Equation.
Path Detection in Multidimensional Iterative Arrays.
A Uniform Random Number Generator Based on the Combination of Two Congruential Generators.
Time-shared Systems: a theoretical treatment.
Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations.
Error Probability in Decision Functions for Character Recognition.
One-way stack automata.
Iterative Refinement in Floating Point.
A Survey of Microcellular Research.
Corrigendum: "The Automorphism Group of the Direct Product of Strongly Related Automata".
A Convergent Algorithm for Solving Polynomial Algorithms.
Resolution by Iteration of Some Nonlinear Systems.
Irreducible Topological Components of an Arbitrary Boolean Truth Function and Generation of Their Minimal Coverings.
A Procedure for Checking Equality of Regular Expressions.
A Machine-Independent Theory of the Complexity of Recursive Functions.