Thomas Martin Olddog Cross (1917-2000)