Paul C. Attie E. Allen Emerson Synthesis of Concurrent Systems with Many Similar Sequential Processes. 191-201 1989 POPL db/conf/popl/popl89.html#AttieE89