Decision Problems for Multiple Successor Arithmetics. - James W. Thatcher (J. Symb. Log., 1966)

Characterizing Derivation Trees of Context-Free Grammars through a Generalization of Finite Automata Theory. - James W. Thatcher (J. Comput. Syst. Sci., 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)

Transformations and Translations from the Point of View of Generalized Finite Automata Theory - James W. Thatcher (STOC, 1969)

Generalized Sequential Machine Maps. - James W. Thatcher (J. Comput. Syst. Sci., 1970)

The algebraic theory of recursive program schemes. - Rod M. Burstall; James W. Thatcher (Category Theory Applied to Computation and Control, 1974)

Initial Algebra Semantics - Joseph A. Goguen; James W. Thatcher (SWAT, 1974)

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

What Is a Multilevel Array? - Arnold L. Rosenberg; James W. Thatcher (IBM J. Res. Dev., 1975)

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)

Types (discussion). - Lawrence A. Rowe; L. Peter Deutsch; Mary Shaw; James W. Thatcher; Heinrich C. Mayr; Stephen N. Zilles; Patrick J. Hayes (SIGMOD Rec., 1980)

Data Abstraction, Data Bases and Conceptual Modelling. - James W. Thatcher (SIGMOD Rec., 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)

Algebraic Specifications with Generating Constraints. - Hartmut Ehrig; Eric G. Wagner; James W. Thatcher (ICALP, 1983)

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)

Algebraic Semantics (Abstract). - James W. Thatcher (TAPSOFT, Vol.1, 1987)

Language Constructs for Specifying Concurrency in CDL*. - R. K. Shyamasundar; James W. Thatcher (IEEE Trans. Software Eng., 1989)

Managing usability for people with disabilities in a large Web presence. - Matthew King; James W. Thatcher; Philip Matthew Bronstad; Robert Easton (IBM Syst. J., 2005)