A Specification Case Study Using the B-Methodology. - Andrew Storey (Softw. Test. Verification Reliab., 1992)

A Strategy for the Production of Verifiable Code Using the B Method. - Andrew Storey; Howard P. Haughton (FME, 1994)

From B to SPARK: an extension to a forma design environment. - Andrew Storey (1995)

Exploiting response models: optimizing cross-sell and up-sell opportunities in banking. - Andrew Storey; Marc-David Cohen (KDD, 2002)