Post, Laurens van der, Sir, active 1939-1987, writer