Finite-to-finite universal varieties of distributive double p -algebras Václav Koubek (1990) Commentationes Mathematicae Universitatis Carolinae