Frank O. Wagner On the Structure of Stable Groups. 85-92 1997 89 Ann. Pure Appl. Logic 1 db/journals/apal/apal89.html#Wagner97