Notes on non-commutative integration