1 joint paper of D. Gabbay with Shelah

GPShS:134
Gabbay+Pnueli+Shelah+Stavi, On the temporal analysis of fairness -- Proc.~ seventh Annual SIG ACT --- SIG PLAN Symposium on Principles of Programming Languages, January 23- 30, 1980 (1980) 163--173