Sandu, G. 1997. Games in the semantics of formal languages. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 25–30.