Real analysis a constructive approach through interval arithmetic - Bridger, Mark 1942- (Pure and applied undergraduate texts, 2019)