Derived Varieties and Derived Equational Theories. - Klaus Denecke; Jörg Koppitz; R. Marszalek (Int. J. Algebra Comput., 1998)