Alessandro Berarducci Margarita Otero A Recursive Nonstandard Model of Normal Open Induction. 1228-1241 1996 61 J. Symb. Log. 4 db/journals/jsyml/jsyml61.html#BerarducciO96