Sperner theory in partially ordered sets - Engel, Konrad (1985)