Existence Theorems for Sperner Families. - David E. Daykin; Jean Godfrey; Anthony J. W. Hilton (J. Comb. Theory A, 1974)