Introduction to formal specification and Z. - Ben Potter; Jane E. Sinclair; David Till (Prentice Hall, 1991)

Knowledge-Based Support for Requirements Engineering. - David Bolton; Sara Jones 001; David Till; David Furber; Stewart Green (Int. J. Softw. Eng. Knowl. Eng., 1992)

Requirements Engineering: An Integrated View of Representation, Process, and Domain. - Matthias Jarke; Klaus Pohl; Stephan Jacobs; Janis A. Bubenko Jr.; Petia Assenova; Peter Holm; Benkt Wangler; Colette Rolland; Véronique Plihon; Jean-Roch Schmitt; Alistair G. Sutcliffe; Sara Jones 001; et al. (ESEC, 1993)

Assignment as the Sole Means of Updating Objects. - R. A. Buhr; David Till; C. Robert Zarnke (Softw. Pract. Exp., 1994)

Managing interference. - Anthony Finkelstein; George Spanoudakis; David Till (ISAW/Viewpoints@FSE, 1996)

Formal methods and requirements engineering: Challenges and synergies. - Sara Jones 001; David Till; Ann M. Wrightson (J. Syst. Softw., 1998)

Overlaps in Requirements Engineering. - George Spanoudakis; Anthony Finkelstein; David Till (Autom. Softw. Eng., 1999)