Computing over the reals with addition and order
scientific article; zbMATH DE number 695891