Introducing Hyper-Z - A New Approach to Object Orientation in Z. - Ian Maung; John Howse (Z User Workshop, 1992)

Towards a Formalization of Programming-by-Difference. - Ian Maung; John Howse; Richard J. Mitchell (FME, 1994)

On Simulation, Subtyping and Substitutability in Sequential Object Systems. - Ian Maung (Formal Aspects Comput., 1995)

Two characterizations of a minimum-information principle for possibilistic reasoning. - Ian Maung (Int. J. Approx. Reason., 1995)

As-a: A Relationship to Support Code Reuse. - Richard J. Mitchell; John Howse; Ian Maung (J. Object Oriented Program., 1995)