Proper forcing - Shelah, Saharon (Lecture notes in mathematics ; LNM ;, 1982)