From shadowy types to truth studies in Milton's symbolism - Madsen, William G. (Yale University Press, 1968)