The countable homogeneous universal model of B2. - David M. Clarc; Jürg Schmid (Stud Logica, 1996)