Arthur John Bateman (1920-2006)