Důkaz nezávislosti Birkhoffova systému postulátů pro distributivní svazy s jednotkovým prvkem.
(Czech) [Independence of Birkhoff's postulate system for distributive lattices with a unit element].Časopis pro pěstování matematiky,
vol. 91
(1966),
issue 4,
pp. 472-477