Describir: Algebraic theory of measure and integration