Separating Models by Formulas and the Number of Countable Models - Mohammad Assem (2012)