Boolean-valued models and independence proofs in set theory - Bell, J. L. (Clarendon Press, 1977)
Includes indexes