Gerrit van Der Hoeven Ieke Moerdijk On Choice Sequences Determined by Spreads. 908-916 1984 49 J. Symb. Log. 3 db/journals/jsyml/jsyml49.html#HoevenM84