Fundamental theorems of analysis in formally real fields. Ilić Stepić, Angelina; Mijajlović, Žarko — 2008 Novi Sad Journal of Mathematics
A Logic for Reasoning About Qualitative Probability Angelina Ilić-Stepić — 2010 Publications de l'Institut Mathématique
Borel Sets and Countable Models Žarko Mijajlović; Dragan Doder; Angelina Ilić-Stepić — 2011 Publications de l'Institut Mathématique