D. Brough
发表
Adrian Walker,
Derek R. Brough,
A. Walker,
1984,
FGCS.
Harvey Mellar,
Jonathan Briggs,
Richard Boohan,
1992
.
R. S. Miller,
Derek Brough,
Jonathan Briggs,
1991
.
Dov M. Gabbay,
Michael Fisher,
Anthony Hunter,
1996
.
D. Gabbay,
Michael Fisher,
A. Hunter,
1996,
Log. J. IGPL.