Loop-free synthesis of finite state machines. - H. Paul Zeiger (1964)

Ho's Algorithm, Commutative Diagrams, and the Uniqueness of Minimal Linear Systems - H. Paul Zeiger (Inf. Control., 1967)

Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata. - H. Paul Zeiger (Math. Syst. Theory, 1967)

Cascade Synthesis of Finite-State Machines - H. Paul Zeiger (Inf. Control., 1967)

Erratum: "Cascade Synthesis of Finite-State Machines" - H. Paul Zeiger (Inf. Control., 1967)

Correction: Yet Another Proof of the Cascade Decomposition Theorem for Finite Automata. - H. Paul Zeiger (Math. Syst. Theory, 1968)

Formal Models for Some Features of Programming Languages - H. Paul Zeiger (STOC, 1969)

On the relevance of abstract algebra to control theory. - Michael A. Arbib; H. Paul Zeiger (Autom., 1969)

Complexity Measures for Regular Expressions. - Andrzej Ehrenfeucht; H. Paul Zeiger (J. Comput. Syst. Sci., 1976)

Very Special Languages and Representations of Recursively Enumerable Languages via Computation Histories - David Haussler; H. Paul Zeiger (Inf. Control., 1980)

LDS/UCC: Intelligent control of the loan documentation process. - H. Joel Jeffrey; H. Paul Zeiger; T. Schmidt; Anthony O. Putnam (IEA/AIE (2), 1989)