The stationary tower notes on a course by W. Hugh Woodin / - Larson, Paul B. (American Mathematical Society,)