Papers of John Grierson, 1898-1972, documentary film producer