Koppinen, M. and Neuvonen, T. (1977) “An imprimitivity theorem for Hopf algebras”., Mathematica Scandinavica, 41, pp. 193–198. doi:10.7146/math.scand.a-11713.