Fine structure and class forcing - Friedman, Sy-David 1953- (Walter de Gruyter, 2000)