Computing over the reals with addition and order: Higher complexity classes
scientific article; zbMATH DE number 852841