Reprezentace uspořádaných množin - Šlapal, Josef, 1955- (1980)