The Revised Gärdenfors Postulates and Update Semantics. - Leigh Willard; Li-Yan Yuan (ICDT, 1990)

SEQSEE: a comprehensive program suite for protein sequence analysis. - David S. Wishart; Robert F. Boyko; Leigh Willard; Frederic M. Richards; Brian D. Sykes (Comput. Appl. Biosci., 1994)

VADAR: a web server for quantitative evaluation of protein structure quality. - Leigh Willard; Anuj Ranjan; Haiyan Zhang; Hassan Monzavi; Robert F. Boyko; Brian D. Sykes; David S. Wishart (Nucleic Acids Res., 2003)