BIOLOG - a DNA sequence analysis system in PROLOG. - Andrew Lyall; Peter Hammond; Derek Brough; David Glover (Nucleic Acids Res., 1984)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)