John T. Baldwin Niandong Shi Stable Generic Structures. 1-35 1996 79 Ann. Pure Appl. Logic 1 db/journals/apal/apal79.html#BaldwinS96