John Richard Nicholas Stone 1913-1991