M. Koppinen and T. Neuvonen, “An imprimitivity theorem for Hopf algebras”., Math. Scand., vol. 41, pp. 193–198, Dec. 1977.