Koppinen, M., and T. Neuvonen. “An Imprimitivity Theorem for Hopf Algebras”. MATHEMATICA SCANDINAVICA, vol. 41, Dec. 1977, pp. 193-8, doi:10.7146/math.scand.a-11713.