Minimally and Maximally Abstract Retrenchments. - Czeslaw Jeske; Richard Banach (IFM, 2002)

Retrenchment and the Mondex Electronic Purse. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (Abstract State Machines, 2005)

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (FM, 2005)

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (ISoLA, 2006)

Retrenchment and the Atomicity Pattern. - Richard Banach; Czeslaw Jeske; Anthony Hall; Susan Stepney (SEFM, 2007)

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. - Richard Banach; Czeslaw Jeske; Michael Poppleton; Susan Stepney (Fundam. Informaticae, 2007)

Engineering and theoretical underpinnings of retrenchment. - Richard Banach; Michael Poppleton; Czeslaw Jeske; Susan Stepney (Sci. Comput. Program., 2007)

Composition mechanisms for retrenchment. - Richard Banach; Czeslaw Jeske; Michael Poppleton (J. Log. Algebraic Methods Program., 2008)

Stronger compositions for retrenchments. - Richard Banach; Czeslaw Jeske (J. Log. Algebraic Methods Program., 2010)

Simple feature engineering via neat default retrenchments. - Richard Banach; Czeslaw Jeske (J. Log. Algebraic Methods Program., 2011)

Atomicity failure and the retrenchment atomicity pattern. - Richard Banach; Czeslaw Jeske; Anthony Hall; Susan Stepney (Formal Aspects Comput., 2013)

Retrenchment and refinement interworking: the tower theorems. - Richard Banach; Czeslaw Jeske (Math. Struct. Comput. Sci., 2015)