Mark E. Nadel Jonathan Stavi On Models of the Elementary Theory of (Z, +, 1). 1-20 1990 55 J. Symb. Log. 1 db/journals/jsyml/jsyml55.html#NadelS90