Charles Swart Dana S. Richards On the Inference of Strategies. 5-18 1989 67 Theor. Comput. Sci. 1 db/journals/tcs/tcs67.html#SwartR89