Koppinen M, Neuvonen T. An imprimitivity theorem for Hopf algebras. Math. Scand. 1977;41:193-198. doi:10.7146/math.scand.a-11713