Textual Tree Trace Notation for Prolog: an Overview. - C. N. Taylor; J. B. H. du Boulay; Mukesh J. Patel (ICLP Workshop: Logic Programming and Education, 1994)

A Requirements Capture Method and its use in an Air Traffic Control Application. - Thomas Leo McCluskey; J. M. Porteous; Y. Naik; C. N. Taylor; Sara Jones 001 (Softw. Pract. Exp., 1995)