Software development: two approaches to animation of Z specifications using Prolog. - Margaret M. West; Barry Eaglestone (Softw. Eng. J., 1992)

The development of safe advanced road transport telematic software. - Peter H. Jesty; Tom F. Buckley; Margaret M. West (Microprocess. Microsystems, 1993)

Types and Sets in Gödel and Z. - Margaret M. West (ZUM, 1995)

The Use of a Logic Programming Language in the Animation of Z Specifications. - Margaret M. West (ICLP, 2007)