A rapid prototyping system based on data flow principles. - Graham Tate; Thomas W. G. Docker (ACM SIGSOFT Softw. Eng. Notes, 1985)

SAME - A Structured Analysis Tool and its Implementation in Prolog. - Thomas W. G. Docker (ICLP/SLP, 1988)

Formal Specification Using Structured Systems Analysis. - Robert B. France; Thomas W. G. Docker (ESEC, 1989)

Flexibility and Rigour in Structured Analysis. - Thomas W. G. Docker; Robert B. France (IFIP Congress, 1989)

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

Towards CASE Tool Support for Rigorous Structured Analysis. - Robert B. France; Thomas W. G. Docker (ICCI, 1993)