On the temporal analysis of fairness (1980)

by D M Gabbay, A Pnueli, S Shelah, I Stavi
Venue:In Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages