The elementary theory of abelian groups (1972)

by P Eklof, E Fisher
Venue:Ann. Math. Logic