Katayama Y. Takesaki’s duality for a non-degenerate co-action. Math. Scand. 1984;55:141-151. doi:10.7146/math.scand.a-12072