Reliability in computing : the role of interval methods in scientific computing - Moore, Ramon E. (Perspectives in computing ;, 1988)