Saharon Shelah- Proper and Improper Forcing Second Edition: Chapter IV: On Oracle-c.c., the Lifting Problem of the Measure Algebra, and "P(ω)/finite Has No Non-trivial Automorphism"
