An Introduction to Independence for Analysts door H.G. Dales & W.H. Woodin