Kazuyuki Saitô "A non-commutative integration theory for a semi-finite $AW^ *$-algebra and a problem of Feldman," Proceedings of the Japan Academy, Proc. Japan Acad. 46(5.S1), 463-467, (1970)