J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295–311.
Robert McNaughton · Journal of Symbolic Logic · 1972
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295–311. - Volume 37 Issue 1