Using Yourdon and Z: an Approach to Formal Specification. - Lesley Semmens; Pat Allen (Z User Workshop, 1990)

Integrated Structured Analysis and Formal Specification Techniques. - Lesley Semmens; Robert B. France; Thomas W. G. Docker (Comput. J., 1992)

Method Integration: Concepts and Case Studies, by Klaus Kronlöf (Editor), Wiley, 1993 (Book Review). - Lesley Semmens (Softw. Test. Verification Reliab., 1993)

Applying formal methods within structured development. - Sukhvinder S. Aujla; Tony Bryant; Lesley Semmens (IEEE J. Sel. Areas Commun., 1994)

An Integrated Approach to Teaching Requirements Modelling. - Pat Allen; Lesley Semmens (CSEE, 1995)

Using Z to Rigorously Review a Specification of a Network Management System. - Tony Bryant; Andy Evans; Lesley Semmens; Rajko Milovanovic; Sinclair Guillaume Stockman; Mark T. Norris; Clive Selley (ZUM, 1995)

Methods integration : rigorous systems specification using structured analysis and formal notations. - Lesely T. Semmens (1996)