1. Applications of recursive arithmetic to the problem of circuit synthesis – summaries of talks;Church,1957
2. Automata on Infinite Objects and Church's Problem, vol. 13;Rabin,1972
3. A framework for the synthesis of reactive modules;Pnueli,1988
4. On the synthesis of a reactive module;Pnueli,1989
5. Solving sequential conditions by finite-state strategies;Büchi,1990