Algebraic Topological Methods for the Synthesis of Switching Systems - Part III: Minimization of Nonsingular Boolean Trees. - J. Paul Roth; Eric G. Wagner (IBM J. Res. Dev., 1959)

On Connecting Modules Together Uniformly to Form a Modular Computer. - Eric G. Wagner (IEEE Trans. Electron. Comput., 1966)

On the Structure of Programming Languages, or, Six Languages for Turing Machines - Eric G. Wagner (SWAT, 1967)

"Tapeless" Bounded Action Machines - Eric G. Wagner (SWAT, 1968)

Bounded Action Machines: Toward an Abstract Theory of Computer Structure. - Eric G. Wagner (J. Comput. Syst. Sci., 1968)

Uniformly reflexive structures: An axiomatic approach to computability. - Eric G. Wagner (Inf. Sci., 1969)

R70-32 Tessellation Automata. - Eric G. Wagner (IEEE Trans. Computers, 1970)

Languages for Defining Sets in Arbitrary Algebras - Eric G. Wagner (SWAT, 1971)

An Algebraic Theory of Recursive Definitions and Recursive Languages - Eric G. Wagner (STOC, 1971)

Bounded action machines II: The basic structure of Tapeless computers. - Eric G. Wagner (Computing, 1972)

From Algebras to Programming Languages - Eric G. Wagner (STOC, 1973)

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)

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

Functorial Hierarchies of Functional Languages. - Eric G. Wagner (Formal Description of Programming Concepts, 1982)

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)

Categorical Semantics, Or Extending Data Types to Include Memory. - Eric G. Wagner (ADT, 1984)

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)

Categories, Data Types and Imperative Languages. - Eric G. Wagner (CTCS, 1985)

A Categorical View of Weakest Liberal Preconditions. - Eric G. Wagner (CTCS, 1985)

Semantics of Block Structured Languages with Pointers. - Eric G. Wagner (MFPS, 1987)

A Categorical Treatment of Pre- and Post-Conditions. - Eric G. Wagner (Theor. Comput. Sci., 1987)

Canonical Constraints for Parameterized Data Types. - Eric G. Wagner; Hartmut Ehrig (Theor. Comput. Sci., 1987)

Algebraic Data Types and Object-Oriented Programming. - Eric G. Wagner; Edwin J. Selker; Joseph D. Rutledge (ADT, 1988)

All recursive types defined using products and sums can be implemented using pointers. - Eric G. Wagner (Algebraic Logic and Universal Algebra in Computer Science, 1988)

On Declarations. - Eric G. Wagner (Categorial Methods in Computer Science, 1988)

Generic Types in a Language for Data Directed Design. - Eric G. Wagner (ADT, 1990)

Algebras, Polynomials and Programs. - Eric G. Wagner (Theor. Comput. Sci., 1990)

An Algebraically Specified Language for Data Directed Design. - Eric G. Wagner (Theor. Comput. Sci., 1990)

Generic Classes in an Object-Based Language. - Eric G. Wagner (COMPASS/ADT, 1991)

Overloading and Inheritance. - Eric G. Wagner (COMPASS/ADT, 1992)

Fix-point Semantics for Programs in Distributive Categories. - Eric G. Wagner; Wafaa Khalil; Robert F. C. Walters (Fundam. Informaticae, 1995)

On the Role of Memory in Object-Based and Object-Oriented Languages. - Eric G. Wagner (Theor. Comput. Sci., 1995)

Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. - Magne Haveraaen; Eric G. Wagner (WADT, 1999)

Algebraic Specifications: some old history and new thoughts. - Eric G. Wagner (Nord. J. Comput., 2002)

Relationships Between Equational and Inductive Data Types. - Eric G. Wagner (Formal Methods in Software and Systems Modeling, 2005)