Representations of finite lattices by orders on finite sets Bohuslav Sivák — 1978 Mathematica Slovaca