| | **Atomic components** (2004) S.V. Reeves and D. Streader Working Paper No. 01/2004 |

| | **Comparison of data and process refinement** (2003) S.V. Reeves and D. Streader Working Paper No. 05/03 |

| | **Constructing programs or processes** (2005) S.V. Reeves and D. Streader Working Paper No. 09/2005 |

| | **Experiences using Z animation tools** (2001) G.R. Reeve and S.V. Reeves Working Paper No. 01/3 |

| | **A logic for the schema calculus** (1998) M.C. Henson and S.V. Reeves Working Paper No. 98/5 |

| | **m-charts and Z: extending the translation** (2000) G.R. Reeve and S.V. Reeves Working Paper No. 00/11 |

| | **m-charts and Z: hows, whys and wherefores** (2000) G.R. Reeve and S.V. Reeves Working Paper No. 00/6 |

| | **New foundations for Z** (1998) M.C. Henson and S.V. Reeves Working Paper No. 98/6 |

| | **Revising Z: semantics and logic** (1998) M.C. Henson and S.V. Reeves Working Paper No. 98/4 |

| | **Stepwise refinement of processes** (2005) S.V. Reeves and D. Streader Working Paper No. 07/2005 |

| | **A survey of software requirements specification practices in the New Zealand software industry** (1999) L. Groves, R. Nickson, G.R. Reeve, S.V. Reeves and B.M. Utting Working Paper No. 99/8 |

| | **The syntax and semantics of m-Charts** (2004) G.R. Reeve and S.V. Reeves Working Paper No. 04/2004 |

| | **Unifying state and process determinism** (2004) S.V. Reeves and D. Streader Working Paper No. 02/2004 |