Future branching time logics and fairness - Stirling, Colin (University <Edinburgh>, 1982)