Algol procedures for range arithmetic - Gibb, Allan (1961)