PATRICK HAYMAN (BRITISH 1915-1988)