Robert Oliver Milner (1920-2000)