Some theorems for incompletely specified sequential machines with applications to state minimization - James C. Beatty; Raymond E. Miller (SWCT, 1962)

On Some Properties of the Semigroup of a Machine Which are Preserved Under State Minimization - James C. Beatty (Inf. Control., 1967)

An axiomatic approach to code optimization for expressions. - James C. Beatty (J. ACM, 1972)

Errata: "An axiomatic approach to code optimization for Expressions". - James C. Beatty (J. ACM, 1973)

Erratum: "An axiomatic approach to code optimization for expressions". - James C. Beatty (J. ACM, 1973)

Register Assignment Algorithm for Generation of Highly Optimized Object Code. - James C. Beatty (IBM J. Res. Dev., 1974)