Wreath products of algebras: generalizing the Krohn-Rhodes theorem to arbitrary algebras. J. VanderWerf (1996) Semigroup forum