Koppinen, M.; Neuvonen, T. An Imprimitivity Theorem for Hopf Algebras. Math. Scand. 1977, 41, 193-198.