A Starvation-Free Solution to the Mutual Exclusion Problem. - Joseph M. Morris (Inf. Process. Lett., 1979)

Traversing Binary Trees Simply and Cheaply. - Joseph M. Morris (Inf. Process. Lett., 1979)

The design of a language-directed editor for block-structured languages. - Joseph M. Morris; Mayer D. Schwartz (SIGPLAN SIGOA Symposium on Text Manipulation, 1981)

Varieties of Weakest Liberal Preconditions. - Joseph M. Morris (Inf. Process. Lett., 1987)

A Theoretical Basis for Stepwise Refinement and the Programming Calculus. - Joseph M. Morris (Sci. Comput. Program., 1987)

Laws of Data Refinement. - Joseph M. Morris (Acta Informatica, 1989)

Well-founded induction and the invariance theorem for loops. - Joseph M. Morris (Inf. Process. Lett., 1989)

Temporal Predicat Transformers and Fair Termination. - Joseph M. Morris (Acta Informatica, 1990)

Programming by Expression Refinement: a Sequence of Examples. - Joseph M. Morris (Struct. Program., 1990)

Non-Deterministic Expressions and Predicate Transformers. - Joseph M. Morris (Inf. Process. Lett., 1997)

Partiality and Nondeterminacy in Program Proofs. - Joseph M. Morris; Alexander Bunkenburg (Formal Aspects Comput., 1998)

A Logic for Reasoning Equationally in the Presence of Partiality. - Joseph M. Morris; Alexander Bunkenburg (Sci. Comput. Program., 1999)

Specificational functions. - Joseph M. Morris; Alexander Bunkenburg (ACM Trans. Program. Lang. Syst., 1999)

A theory of bunches. - Joseph M. Morris; Alexander Bunkenburg (Acta Informatica, 2001)

A source of inconsistency in theories of nondeterministic functions. - Joseph M. Morris; Alexander Bunkenburg (Sci. Comput. Program., 2002)

Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. - Joseph M. Morris (MPC, 2004)

Software Refinement with Perfect Developer. - Gareth Carter; Rosemary Monahan; Joseph M. Morris (SEFM, 2005)

A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. - Malcolm Tyrrell; Joseph M. Morris; Andrew Butterfield; Arthur Hughes (ICTAC, 2006)

Plug-and-Play Nondeterminacy. - Joseph M. Morris (B, 2007)

Dual unbounded nondeterminacy, recursion, and fixpoints. - Joseph M. Morris; Malcolm Tyrrell (Acta Informatica, 2007)

Terms with unbounded demonic and angelic nondeterminacy. - Joseph M. Morris; Malcolm Tyrrell (Sci. Comput. Program., 2007)

Modelling higher-order dual nondeterminacy. - Joseph M. Morris; Malcolm Tyrrell (Acta Informatica, 2008)

Dually nondeterministic functions. - Joseph M. Morris; Malcolm Tyrrell (ACM Trans. Program. Lang. Syst., 2008)

Term transformers: A new approach to state. - Joseph M. Morris; Alexander Bunkenburg; Malcolm Tyrrell (ACM Trans. Program. Lang. Syst., 2009)