A fixed point theorem for finite partially ordered sets - Rival, Ivan (Techn. Hochsch., 1975)