The Boom Hierarchy. - Alexander Bunkenburg (Functional Programming, 1993)

Expression Refinement: Deriving Bresenham's Algorithm. - Alexander Bunkenburg; Sharon Flynn (Functional Programming, 1994)

Expression refinement. - Alexander Bunkenburg (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)

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