Fundamental theorems of analysis in formally real fields. Ilić Stepić, Angelina, Mijajlović, Žarko (2008) Novi Sad Journal of Mathematics