Improving Software using Requirements Formalisation. - Greg Reeve (New Zealand Computer Science Research Students' Conference, 1999)

mu-Charts and Z: examples and extensions. - Greg Reeve; Steve Reeves (APSEC, 2000)

A Survey of Software Development Practices in the New Zealand Software Industry . - Lindsay Groves; Ray Nickson; Greg Reeve; Steve Reeves; Mark Utting (Australian Software Engineering Conference, 2000)

mu-Charts and Z: Hows, Whys, and Wherefores. - Greg Reeve; Steve Reeves (IFM, 2000)

Idioms for mu-Chart. - Grant Anderson; Greg Reeve; Steve Reeves (Australian Software Engineering Conference, 2001)

µ-Chart-Based Specification and Refinement. - Doug Goldson; Greg Reeve; Steve Reeves (ICFEM, 2002)

Semantic Properties of mu-Charts. - Doug Goldson; Greg Reeve (SEFM, 2003)

Logic and refinement for charts. - Greg Reeve; Steve Reeves (ACSC, 2006)