M. Koppinen and T. Neuvonen, “An imprimitivity theorem for Hopf algebras”., Math. Scand., vol. 41, pp. 193–198, Dec. 1977, doi: 10.7146/math.scand.a-11713.