Algol procedures for range arithmetic - Gibb, Allan (Applied Mathematics and Statistics Laboratory <Stanford, Calif.>: Technical report, 1961)