Finite four-generated simple lattices contain all finite lattices - Poguntke, Werner 1949-; Rival, Ivan (Techn. Hochsch., 1975)