Fine structure and class forcing - Friedman, Sy-David 1953- (De Gruyter series in logic and its applications, 2000)