Varietäten von Verbänden: Normalformen von Polynomen, endliche Axiomatisierbarkeit, Dimensionierbarkeit. - Brunner, Jakob (ETH, 1980)