Koppinen, M.; Neuvonen, T. An Imprimitivity Theorem for Hopf Algebras. Math. Scand. 1977, 41, 193-198. https://doi.org/10.7146/math.scand.a-11713.