Future branching time logics and fairness - Stirling, Colin (1982)