Special Feature: Computer Design to Minimize Memory Requirements. - Eric C. R. Hehner (Computer, 1976)

Structuring. - Eric C. R. Hehner (POPL, 1977)

Information Content of Programs and Operation Encoding. - Eric C. R. Hehner (J. ACM, 1977)

Exact arithmetic using a variable-length P-ADIC representation. - R. Nigel Horspool; Eric C. R. Hehner (IEEE Symposium on Computer Arithmetic, 1978)

On Removing the Machine from the Language. - Eric C. R. Hehner (Acta Informatica, 1978)

do Considered od: A Contribution to the Programming Calculus. - Eric C. R. Hehner (Acta Informatica, 1979)

A New Representation of the Rational Numbers for Fast Easy Arithmetic. - Eric C. R. Hehner; R. Nigel Horspool (SIAM J. Comput., 1979)

Corrigendum: A New Representation of the Rational Numbers for Fast Easy Arithmetic. - Eric C. R. Hehner; R. Nigel Horspool (SIAM J. Comput., 1980)

A methodolgy for programming with concurrency. - Christian Lengauer; Eric C. R. Hehner (CONPAR, 1981)

Bunch Theory: A Simple Set Theory for Computer Science. - Eric C. R. Hehner (Inf. Process. Lett., 1981)

An Implementation of P and V. - Eric C. R. Hehner; R. K. Shyamasundar (Inf. Process. Lett., 1981)

A Methodology for Programming with Concurrency: An Informal Presentation. - Christian Lengauer; Eric C. R. Hehner (Sci. Comput. Program., 1982)

Comments on "A Method for Representing Data Items of Unlimites Length in a Computer Memory". - R. Nigel Horspool; Eric C. R. Hehner (IEEE Trans. Software Eng., 1982)

Teaching formal methods for program development and verification (Panel Session). - Susan L. Gerhart; Eric C. R. Hehner; Harlan D. Mills; A. Joe Turner (SIGCSE, 1983)

Programming with Grammars: An Exercise in Methodology-Directed Language Design. - Eric C. R. Hehner; Brad A. Silverberg (Comput. J., 1983)

A More Complete Model of Communicating Processes. - Eric C. R. Hehner; C. A. R. Hoare (Theor. Comput. Sci., 1983)

Predicative Programming, Part I. - Eric C. R. Hehner (Commun. ACM, 1984)

Predicative Programming, Part II. - Eric C. R. Hehner (Commun. ACM, 1984)

The logic of programming. - Eric C. R. Hehner (Prentice Hall, 1985)

Predicative Methodology. - Eric C. R. Hehner; Lorene E. Gupta; Andrew J. Malton (Acta Informatica, 1986)

Erratum: Predicative Methodology. - Eric C. R. Hehner; Lorene E. Gupta; Andrew J. Malton (Acta Informatica, 1988)

Termination Conventions and Comparative Semantics. - Eric C. R. Hehner; Andrew J. Malton (Acta Informatica, 1988)

Termination is Timing. - Eric C. R. Hehner (MPC, 1989)

Real-Time Programming. - Eric C. R. Hehner (Inf. Process. Lett., 1989)

A Practical Theory of Programming. - Eric C. R. Hehner (Sci. Comput. Program., 1990)

What's Wrong With Formal Programming Methods? - Eric C. R. Hehner (ICCI, 1991)

Logical Specifications for Functional Programs. - Theodore S. Norvell; Eric C. R. Hehner (MPC, 1992)

A Practical Theory of Programming. - Eric C. R. Hehner (Springer, 1993)

Boolean Formalism and Explanations. - Eric C. R. Hehner (AMAST, 1996)

Formalization of Time and Space. - Eric C. R. Hehner (Formal Aspects Comput., 1998)

Refinement Semantics and Loop Rules. - Eric C. R. Hehner; Andrew M. Gravell (World Congress on Formal Methods, 1999)

Bunches for Object-Oriented, Concurrent, and Real-Time Specification. - Richard F. Paige; Eric C. R. Hehner (World Congress on Formal Methods, 1999)

Specifications, Programs, and Total Correctness. - Eric C. R. Hehner (Sci. Comput. Program., 1999)

Variables and scopes considered formally. - Eric C. R. Hehner (Inf. Process. Lett., 2001)

Theories, Implementations, and Transformations. - Eric C. R. Hehner; Ioannis T. Kassios (ZB, 2002)

Probabilistic Predicative Programming. - Eric C. R. Hehner (MPC, 2004)

Specified Blocks. - Eric C. R. Hehner (VSTTE, 2005)

Roadmap for enhanced languages and methods to aid verification. - Gary T. Leavens; Jean-Raymond Abrial; Don S. Batory; Michael J. Butler; Alessandro Coglio; Kathi Fisler; Eric C. R. Hehner; Cliff B. Jones; Dale Miller 001; Simon L. Peyton Jones; Murali Sitaraman; Douglas R. Smith; et al. (GPCE, 2006)

Quantum Predicative Programming. - Anya Tafliovich; Eric C. R. Hehner (MPC, 2006)

Retrospective and Prospective for Unifying Theories of Programming. - Eric C. R. Hehner (UTP, 2006)

Programming Telepathy: Implementing Quantum Non-Locality Games. - Anya Tafliovich; Eric C. R. Hehner (CoRR, 2007)

Programming with Quantum Communication. - Anya Tafliovich; Eric C. R. Hehner (QAPL, 2009)

A probability perspective. - Eric C. R. Hehner (Formal Aspects Comput., 2011)

How to Compute Halting. - Eric C. R. Hehner (CoRR, 2016)

Observations on the Halting Problem. - Eric C. R. Hehner (CoRR, 2016)

Epimenides, Gödel, Turing: an Eternal Gölden Tangle. - Eric C. R. Hehner (CoRR, 2016)

A Tale of Two Turing Machines. - Eric C. R. Hehner (CoRR, 2016)

What Is a Procedure? - Eric C. R. Hehner (Present and Ulterior Software Engineering, 2017)

A Theory of Lazy Imperative Timing. - Eric C. R. Hehner (Refine@FM, 2018)

Epimenides, Gödel, Turing: An Eternal Gölden Twist. - Eric C. R. Hehner (SN Comput. Sci., 2020)

On Formal Methods Thinking in Computer Science Education. - Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C. R. Hehner; Carroll Morgan; Peter Müller 001; Leila Ribeiro 001; Alexandra Silva 001; Graeme Smith 001; Erik P. de Vink (Formal Aspects Comput., 2025)