David B. G. Edwards Simon H. Lavington Andrei G. Necula