Second order definability, game quantifiers and related expressions - Oikkonen, Juha (Societas Scientiarum Fennica, 1978)