Visualising Larger State Spaces in Pro B. - Michael Leuschel; Edd Turner (ZB, 2005)

Symmetry Reduction for B by Permutation Flooding. - Michael Leuschel; Michael J. Butler; Corinna Spermann; Edd Turner (B, 2007)

Symmetry Reduced Model Checking for B. - Edd Turner; Michael Leuschel; Corinna Spermann; Michael J. Butler (TASE, 2007)

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. - Edd Turner; Michael J. Butler; Michael Leuschel (ASM, 2010)

The Proteins API: accessing key integrated protein and genome information. - Andrew Nightingale; Ricardo Antunes; Emanuele Alpi; Borisas Bursteinas; Leonardo Gonzales; Wudong Liu; Jie Luo; Guoying Qi; Edd Turner; Maria Jesus Martin (Nucleic Acids Res., 2017)

Eleven quick tips to build a usable REST API for life sciences. - Aleksandra Tarkowska; Denise Carvalho-Silva; Charles E. Cook; Edd Turner; Robert D. Finn; Andrew D. Yates (PLoS Comput. Biol., 2018)