Bohuslav Balcar Thomas Jech Jindrich Zapletal Semi-Cohen Boolean Algebras. 187-208 1997 87 Ann. Pure Appl. Logic 3 db/journals/apal/apal87.html#BalcarJZ97a