8 papers:
SEFM-2007-BanachJHS- Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
- SEFM-2006-Banach #tutorial
- Retrenchment Tutorial (RB), p. 259.
- SEFM-2006-BanachD
- Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.
FM-2005-BanachPJS #finite #sequence- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- FME-2003-PoppletonB #composition
- Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.
IFM-2002-JeskeB- Minimally and Maximally Abstract Retrenchments (CJ, RB), pp. 380–400.
ASE-1999-PoppletonB #named #refinement- Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
- IFM-1999-BanachP #simulation
- Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.
