John Britton — British mathematician (1927-1994)