Conclusions. - Peter Ryan; Chris T. Sennett (Formal Methods in Systems Engineering, 1993)

Design Methods Working Group. - Chris T. Sennett (Formal Methods in Systems Engineering, 1993)

Security Through Type Analysis. - Colin O'Halloran; Chris T. Sennett (ESORICS, 1994)

The Future of Formal Methods in Industry. - Anthony Hall; David Lorge Parnas; Nico Plat; John M. Rushby; Chris T. Sennett (ZUM, 1995)

Experiences with PiZA, an Animator for Z. - M. A. Hewitt; Colin O'Halloran; Chris T. Sennett (ZUM, 1997)