Sperner Properties of the Ideals of a Boolean Lattice. - Richard W. McHard (2009)