Fine structure and class forcing - Friedman, Sy D. (de Gruyter,)