Derek Howard Torrance (1927-2003)