Koppinen, M. and Neuvonen, T. 1977. An imprimitivity theorem for Hopf algebras. MATHEMATICA SCANDINAVICA. 41, (Dec. 1977), 193–198. DOI:https://doi.org/10.7146/math.scand.a-11713.