Roman Kossak Henryk Kotlarski James H. Schmerl On Maximal Subgroups of the Automorphism Group of a Countable Recursively Saturated Model of PA. 125-148 1993 65 Ann. Pure Appl. Logic 2 db/journals/apal/apal65.html#KossakKS93