Formalization of the Theory of integration applied to Random variables. More specifically, we are able to calculate where:

260 page Intro by Gregory F. Lawler