Real analysis: Foundations - Ovchinnikov, Sergei 1950- (Springer, 2021)