Realization of Events by Logical Nets. - Irving M. Copi; Calvin C. Elgot; Jesse B. Wright (J. ACM, 1958)

Sequence Generators, Graphs, and Formal Languages - Arthur W. Burks; Jesse B. Wright (Inf. Control., 1962)

Algebraic Automata and Context-Free Sets - Jorge E. Mezei; Jesse B. Wright (Inf. Control., 1967)

Automata in General Algebras - Samuel Eilenberg; Jesse B. Wright (Inf. Control., 1967)

Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. - James W. Thatcher; Jesse B. Wright (Math. Syst. Theory, 1968)

Characterization of Recursively Enumerable Sets. - Jesse B. Wright (J. Symb. Log., 1972)

Factorizations, Congruences, and the Decomposition of Automata and Systems. - Joseph A. Goguen; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (MFCS, 1974)

Rational Algebraic Theories and Fixed-Point Solutions - Jesse B. Wright; James W. Thatcher; Eric G. Wagner; Joseph A. Goguen (FOCS, 1976)

Some Fundamentals of Order-Algebraic Semantics. - Eric G. Wagner; Jesse B. Wright; Joseph A. Goguen; James W. Thatcher (MFCS, 1976)

Initial Algebra Semantics and Continuous Algebras. - Joseph A. Goguen; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (J. ACM, 1977)

Programming Languages as Mathematical Objects. - Eric G. Wagner; James W. Thatcher; Jesse B. Wright (MFCS, 1978)

A Uniform Approach to Inductive Posets and Inductive Closure. - Jesse B. Wright; Eric G. Wagner; James W. Thatcher (Theor. Comput. Sci., 1978)

Parameterized Data Types in Algebraic Specification Languages (Short Version). - Hartmut Ehrig; Hans-Jörg Kreowski; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (ICALP, 1980)

Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. - Stephen L. Bloom; Calvin C. Elgot; Jesse B. Wright (SIAM J. Comput., 1980)

Vector Iteration in Pointed Iterative Theories. - Stephen L. Bloom; Calvin C. Elgot; Jesse B. Wright (SIAM J. Comput., 1980)

More on Advice on Structuring Compilers and Proving them Correct. - James W. Thatcher; Eric G. Wagner; Jesse B. Wright (Theor. Comput. Sci., 1981)

Data Type Specification: Parameterization and the Power of Specification Techniques. - James W. Thatcher; Eric G. Wagner; Jesse B. Wright (ACM Trans. Program. Lang. Syst., 1982)

Recursion and Iteration in Continuous Theories: The "M-Construction". - Stephen L. Bloom; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (J. Comput. Syst. Sci., 1983)

Parameter Passing in Algebraic Specification Languages. - Hartmut Ehrig; Hans-Jörg Kreowski; James W. Thatcher; Eric G. Wagner; Jesse B. Wright (Theor. Comput. Sci., 1984)