The design and implementation of an interactive proof editor. - Brian Ritchie (1988)

Reasoning about VDM Developments using the VDM Support Tool in MURAL. - Juan Bicarregui; Brian Ritchie (VDM Europe (1), 1991)

Proof in VDM: A Practitioner's Guide - Juan Bicarregui; John S. Fitzgerald; Peter A. Lindsay; Richard C. Moore; Brian Ritchie (Proof in VDM, 1994)

Experiences in Using the Abstract Machine Notation in a GKS Case Study. - Brian Ritchie; Juan Bicarregui; Howard P. Haughton (FME, 1994)

Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations. - Juan Bicarregui; Brian Ritchie (IEEE Trans. Software Eng., 1995)

Formal methods into practice: case studies in the application of the B method. - Juan Bicarregui; D. L. Clutterbuck; Gavin R. Finnie; Howard P. Haughton; Kevin Lano; H. Lesan; D. W. R. M. Marsh; B. M. Matthews; Michael R. Moulding; A. Richard Newton; Brian Ritchie; T. G. A. Rushton; et al. (IEE Proc. Softw. Eng., 1997)

Synthesising Structure from Flat Specifications. - Brian Matthews; Brian Ritchie; Juan Bicarregui (B, 1998)

Investigating the Integration of two Formal Methods. - Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm (Formal Aspects Comput., 1998)

Model Based Security Risk Analysis for Web Applications. - Theodosis Dimitrakos; Dimitris Raptis; Brian Ritchie; Ketil Stølen (EuroWeb, 2002)

Integrating Model-based Security Risk Management into eBusiness Systems Development: The CORAS Approach. - Theodosis Dimitrakos; Brian Ritchie; Dimitris Raptis; Jan Øyvind Aagedal; Folker den Braber; Ketil Stølen; Siv Hilde Houmb (I3E, 2002)

Providing Reliable Distributed Grid Services in Mobile Environments. - Tom Kirkham; Julian R. Gallop; Simon C. Lambert; Brian Matthews; Damian Mac Randal; Brian Ritchie (SOAS, 2005)

Orchestration and Workflow in a mobile Grid environment. - Annalisa Terracina; Stefano Beco; Tom Kirkham; Julian R. Gallop; Ian J. Johnson; Damian Mac Randal; Brian Ritchie (GCC Workshops, 2006)

e-Business Integration Using Mobile Services for the Small to Medium Enterprise. - Tom Kirkham; Julian R. Gallop; Ian J. Johnson; Damian Mac Randal; Brian Ritchie; Thomas Varsamidis (WETICE, 2006)

A Semantic Approach to Enhance Service Composition in Workflows that use Mobile Services. - Robert B. Piotter; Tom Kirkham; Julian R. Gallop; Ian J. Johnson; Damian Mac Randal; Brian Ritchie (CCGRID, 2007)