Derek John Walker

(1929 - 2015)