3 works on record
Fine Structure and Class Forcing (De Gruyter Series in Logic and Its Applications, 3)
Sets and Computations
2017
Fine Structure and Class Forcing