Essential Forcing Generics. - Stephanie Cawthorne; David W. Kueker (Notre Dame J. Formal Log., 2000)