Theories of Interval Arithmetic by Hend Dawood